Update NumberEncoder.java