Fix #250: remove Configuration.java and configuration.properties, replaced by Settings.java