Update while.java