/** Sets options for saving data layers */ public void setDataLayers(String[] names, int interval, int precision, boolean oneFileFlag) { dataLayerSaver.removeAllDataLayers(); dataLayerSaver.setOneFileFlag(oneFileFlag); dataLayerSaver.setPrecision(precision); dataLayerSaver.getFilter().setInterval(interval); for (String name : names) { dataLayerSaver.addDataLayer(name); } }