The TinyHTTP Java web serverの名前を変更します。