Minor tweaks to .classpath for Eclipse editing