Update Eclipse project to use open jdk 7's tools.jar
Quick hack to exclude classes with '@excludeFromTex' tag