Community
Participate
Working Groups
Created attachment 284400 [details] Screencast reproducing the issue See also the corresponding bug report in the Eclipse Xtext issue tracker: https://github.com/eclipse/xtext-eclipse/issues/1552
i think this is a platofrm problem, not a jdt problem as this also affects non jdt codeminings too (see Xtext issue mentioned below)