$configuration_file = $HELM_CONFIGURATION_DIR."/configuration.xml";
} else {
$configuration_file = $DEFAULT_HELM_CONFIGURATION_DIR."/configuration.xml";
$configuration_file = $HELM_CONFIGURATION_DIR."/configuration.xml";
} else {
$configuration_file = $DEFAULT_HELM_CONFIGURATION_DIR."/configuration.xml";