Delete FixPoint.java