Properties.java suppression fix