eclipse.iniというファイルがEclipseのインストールフォルダにあるが、このファイルの役割は意外に知られていないと思う。実はこのファイル、Eclipseの起動時の引数を指定していたりする。eclipse.exeという名前に対応しているので、eclipse.iniという名前で…