mjavac

ラッパーmjavacは、MINERVAがローカルでインストールされたJava言語プロセッサーを呼び出すために使われるコマンドです。

MINERVAを個々のシステムに合わせて設定するために変更が必要なファイルは、 mjavaとmjavacの二つだけです。