114115116117118119120121
return null; } try { return Double.valueOf(pluginStore.strings.get(attribute)); } catch (NumberFormatException nfe1) { throw new ConfigurationException("Could not parse “" + stringValue + "”.", nfe1); } }
175176177178179180181182
@Override public void save() throws ConfigurationException { try { pluginRespirator.putStore(pluginStore); } catch (DatabaseDisabledException dde1) { throw new ConfigurationException("Could not store plugin store, database is disabled.", dde1); } }