Deleted unused Formula.java