Update FixedPointTheorem.java