private void initializeProperties() throws IllegalStateException {
  for (  String parameter : parameterMap.keySet()) {
    try {
      String property=System.getProperty(parameter);
      if (property == null) {
        property=properties.getProperty(parameter);
      }
      if (property != null) {
        setValue(parameter,property);
      }
    }
 catch (    Exception e) {
      throw new IllegalStateException("Wrong parameter settings for '" + parameter + "': "+ e.getMessage());
    }
  }
  if (POPULATION_LIMIT == PopulationLimit.STATEMENTS) {
    if (MAX_LENGTH < POPULATION) {
      MAX_LENGTH=POPULATION;
    }
  }
}

private void initializeProperties ( ) throws IllegalStateException { for ( String parameter : parameterMap . keySet ( ) ) { try { String property = System . getProperty ( parameter ) ; if ( property == null ) { property = properties . getProperty ( parameter ) ; } if ( property != null ) { setValue ( parameter , property ) ; } } catch ( Exception e ) { throw new IllegalStateException ( "Wrong parameter settings for '" + parameter + "': " + e . getMessage ( ) ) ; } } if ( POPULATION_LIMIT == PopulationLimit . STATEMENTS ) { if ( MAX_LENGTH < POPULATION ) { MAX_LENGTH = POPULATION ; } } }
initialize properties from property file or command line parameters
