Minor commits: no significant code changes, but I reset the .classpath
for Java 1.8.