Update BoolType.java