このプログラムを実行すると、server.batも開いてくれる仕様を検討。

[kaska0511]

サーバーサイドとしてはserver.batも起動するのは億劫。 またこのメリットはbatを開く前に、server.propertiesを確認・編集を行って起動することがまとめてできるということも上げられる。 対応方針としては上位。