There has already been an entry in the GWT tracker to upgrade to jdt 3.5. I added a link to this Debian bug.
http://code.google.com/p/google-web-toolkit/issues/detail?id=3823 Thomas Koch, http://www.koch.ro -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
