MINERVA_HOME /usr/local/MINERVA JAVAC javac JAVA java