Changed preferences to require Java 7.