Eclipse-added modification to the .classpath file