Update Formula.java