Update Maxima.java