| Wrapper mjava is the command used by MINERVA to call the
locally installed Java language processor.
Thus mjava, mjavac and mjar should be the only parts of MINERVA
that may need modification by system administrators
depending on the local system setup.
|