Fix Eclipse handling of javacc generated sources

See README.eclipse.md for instructions.