public static void save(final String filename) throws IOException { final FileOutputStream fos = FileHelper.createFileOutputStream(filename); final OutputBitStream ostream = new OutputBitStream(fos); ostream.writeInt(ElementPropertiesLibrary.m_elements.size()); final TIntObjectIterator<ElementProperties> iter = ElementPropertiesLibrary.m_elements.iterator(); for (int i = ElementPropertiesLibrary.m_elements.size(); i > 0; --i) { iter.advance(); iter.value().save(ostream); } ostream.close(); }