public void storeProperties(Asta4dProperties properties) { storeNamespace(properties.getNamespace()); storePrefixEnabled(properties.isSnippetPrefixesEnabled()); storePrefixes(properties.getSnippetPrefixes()); storeFuncEnabled(properties.isSnippetConvertFuncEnabled()); storeFunc(properties.getSnippetConvertFunc()); try { this.pref.flush(); } catch (BackingStoreException e) { throw new RuntimeException(e); } }