Update HALOProperties.java