Eclipse .project: remove obsolete reference to JTidy project