/** * Resets the Saver */ @Override public void resetOptions() { super.resetOptions(); if (getCompressOutput()) { setFileExtension(XRFFLoader.FILE_EXTENSION_COMPRESSED); } else { setFileExtension(XRFFLoader.FILE_EXTENSION); } try { m_XMLInstances = new XMLInstances(); } catch (Exception e) { m_XMLInstances = null; } }
/** * Resets the Saver */ @Override public void resetOptions() { super.resetOptions(); if (getCompressOutput()) { setFileExtension(XRFFLoader.FILE_EXTENSION_COMPRESSED); } else { setFileExtension(XRFFLoader.FILE_EXTENSION); } try { m_XMLInstances = new XMLInstances(); } catch (Exception e) { m_XMLInstances = null; } }