Hotfix for broken .classpath