Update AFormula.java