Deleting more stuff from defaultproperties.java