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.

scroll to top