added Formuletest.java