Update Precondition.java