Added method hasConfigurationChanged() that uses the time stamp of the
configuration file to check whether this file has changed since it was
loaded the last time
Updated copyright header