Update Mantle.java