Update datatypes.java