void function ( ) { }
no-operation . does not apply to this case , since there are no default preferences . concode_field_sep String TITLE concode_elem_sep Logger fLogger concode_elem_sep String EXPLANATION concode_elem_sep JComboBox<Level> fLogLevel concode_elem_sep java.util.List<Level> LEVELS concode_elem_sep int MNEMONIC concode_field_sep File getLogConfigFile concode_elem_sep JComponent getLogFileUI concode_elem_sep void savePreferences concode_elem_sep JComponent getLocation concode_elem_sep void changeGlobalLoggingLevels concode_elem_sep JComponent getLogLevelUI concode_elem_sep int getMnemonic concode_elem_sep JComponent getExplanation concode_elem_sep JComponent getUI concode_elem_sep String getTitle concode_elem_sep void refreshLogFile concode_elem_sep JComponent getLogLevel concode_elem_sep JComponent getRefresh