By the way, has java.lang.Runtime.exec() already been implemented on mingw32? Last time I tried to use it, it threw some kind of NonImplementedException. I may have to delay some development work I am planning, until it works on mingw32.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル