Update FormuleTest.java