Where do I find the source file for https://repo.eclipse.org/service/local/repo_groups/eclipse/content/org/eclipse/jdt/org.eclipse.jdt.core/3.11.0.v20141029-0804/org.eclipse.jdt.core-3.11.0.v20141029-0804.jar
to run the script: update-jdt.py Michael Am Mittwoch, 3. Dezember 2014 21:21:48 UTC+1 schrieb Jens: > > Given that GWT embeds JDT, I wonder if it's a bug in the version of JDT >> we're currently using? Just guessing, but it looks like there is a >> 3.11.0 version that I might try as a knee jerk/couldn't hurt first step: >> >> https://repo.eclipse.org/index.html#nexus-search;quick~jdt >> >> (Curious that there are multiple 3.10.0/3.11.0 artifacts in that repo, >> but with different date suffixes.) >> > > Updating JDT did fix it for me locally. I have opened an issue for it: > > https://code.google.com/p/google-web-toolkit/issues/detail?id=9036 > > -- J. > -- You received this message because you are subscribed to the Google Groups "GWT Contributors" group. To unsubscribe from this group and stop receiving emails from it, send an email to google-web-toolkit-contributors+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/google-web-toolkit-contributors/cd20d856-01bf-4d4d-9f1b-4dd6b654d284%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.