code: public Object getConfigParameter(final ConfigurationKeys configParameter)
  		throws ConfigurationException
  	{
  
  
  		Object o = this.config.getConfigParameter(configParameter);
  		if (o != null) {
  			return o;
  		}
  		//return standard values for some of the parameters if they
  		//are not set in the configuration
  		//this is only done for uncritical settings, e.g. debug or logging
  		//For other parameters, missing settings will produce an exception
  		else if(configParameter==ConfigurationKeys.LIMIT_SQL_ARCHIVE_SIZE){
  			return Long.MAX_VALUE;
  		}
  		else if (configParameter==ConfigurationKeys.LIMIT_SQL_FILE_SIZE){
  			return Long.MAX_VALUE;
  		}
  		else if (configParameter==ConfigurationKeys.MODE_STATISTICAL_OUTPUT){
  			return false;
  		}
  		else if (configParameter==ConfigurationKeys.MODE_DEBUG_OUTPUT){
  			return false;
  		}
  		else if (configParameter==ConfigurationKeys.VERIFICATION_ENCODING){
  			return false;
  		}
  		else if (configParameter==ConfigurationKeys.VERIFICATION_DIFF){
  			return false;
  		}
  		else if (configParameter==ConfigurationKeys.LOGGING_PATH_DEBUG){
  			return "";
  		}
  		else if (configParameter==ConfigurationKeys.NAMESPACES_TO_KEEP){
  			return new HashSet<Integer>();
  		}
  		else if (configParameter==ConfigurationKeys.MODE_DATAFILE_OUTPUT){
  			return false;
  		}
  		else{
  			throw ErrorFactory
  					.createConfigurationException(
  							ErrorKeys.CONFIGURATION_CONFIGURATIONMANAGER_UNKNOWN_CONFIG_PARAMETER,
  							configParameter.toString());
  		}
  	}
docs: Returns the value of the configuration parameter.
  
  @param configParameter
  Key for the configuration parameter.
  @return Value of the configuration parameter
  
  @throws ConfigurationException
  if the configuration value was not defined or was not set.