Update JPhant.java