require getter/setter implementations for JESettings subclass