m_MinVariance = 1e-3;
m_MinVarianceProp = 1e-3;
  public void setOptions(String[] options) throws Exception{        String minNumString = Utils.getOption('M', options);    if (minNumString.length() != 0) {      m_MinNum = (double)Integer.parseInt(minNumString);    } else {      m_MinNum = 2;    }    String minVarString = Utils.getOption('V', options);    if (minVarString.length() != 0) {      m_MinVariance = Double.parseDouble(minVarString);    } else {      m_MinVariance = 1e-3;    }    String numFoldsString = Utils.getOption('N', options);    if (numFoldsString.length() != 0) {      m_NumFolds = Integer.parseInt(numFoldsString);    } else {      m_NumFolds = 3;    }    String seedString = Utils.getOption('S', options);    if (seedString.length() != 0) {      m_Seed = Integer.parseInt(seedString);    } else {      m_Seed = 1;    }    m_NoPruning = Utils.getFlag('P', options);    String depthString = Utils.getOption('D', options);    if (depthString.length() != 0) {      m_MaxDepth = Integer.parseInt(depthString);    } else {      m_MaxDepth = -1;    }    Utils.checkForRemainingOptions(options);  }