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 [email protected]. 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.
