/** 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);
    }
  }