Update Fact.java