RKBK

Thanks, @snjeza ! I take it I need to wait for #1960 to be merged, and then download the new version of JDT.LS?

> > The java project is a Plugin-development environment project consisting of several dozen plugins > > @RKBK could you attach this project? Unfortunately not.

My first quick attempt at installing it in vscode failed, or rather, I installed it but didn't get vscode to recognize my project and start the server. Is there a...

I'll try using the latest milestone version of the server (1.9.0), too, to see if that makes any difference. That should be easy to try. I tried it in 1.9.0...

I'm currently starting my project with the new server. By the way, is it expected that every time you change the jdtls version, by installing a new one, you have...

Unfortunately, I can't share any of the code. I realize it's much more difficult helping me find the issue, that way. Is there anything specific that I could look for...

The total number of

Seeing this as well, under gnome-shell. Interestingly, it used to work in gnome-shell under Ubuntu 16.04, seems to have started under 17.04. I could be wrong though, it's hard to...

@SjB I'll have to try your version! Looks much more refined.

@AlexDaniel Are you sure about number 2? When I tried it (admittedly using my configuration, but essentially it's the same thing as what @SjB posted): 1. add an extra space...