renamed to DefaultAndProtected.java