/**
 * 
 */
package org.gecko.runtime.config;

/**
 * Constants for the runtime configuration bundle
 * @author Mark Hoffmann
 *
 */
public interface GeckoConfigurationConstants {
	
	/** Service property that marks a configuration url */
	public static final String CONFIGURATION_FILE = "gecko.configuration.file";
	
	/** Service property that marks a configuration file name */
	public static final String CONFIGURATION_FILE_NAME = "gecko.configuration.fileName";
	
	/** Service for the last modification date of the file */
	public static final String CONFIGURATION_FILE_TIMESTAMP = "gecko.configuration.timestamp";

}