Update BoolDTYPE.java