Update DateFormat.java