Roland Grunberg

That's exactly the patch needed. The only annoying part is I suspect the patch introduces the feature through jdt.ui, and we can't reference or use functionality from there directly (can't...

I believe the general rule is if a project is not recognized as a Gradle, Maven, or an Eclipse project, then it will be imported as an "Invisible" project. This...

Although this may work, I don't think this is the right approach. Generally the .classpath file should only be modified by the language server itself using calls from the client...

Are there any additional contributions needed here, or can this be closed ?

The LSP spec supports this, but it would be good to know which clients do. For example, looking at microsoft/vscode#105870 , there is no support, as the workspace/symbol request currently...

For `org.relaxng:jing`, I couldn't find any recent entry on ClearlyDefined. https://clearlydefined.io/definitions/maven/mavencentral/org.relaxng/jing/20181222 doesn't have the necessary score. ``` $ mvn clean verify -DskipTests -Pverify-iplog ... ... $ cat target/dash/summary | grep...

Right, newly introduced in Java 9. Given past difficulties with getting people to have Java on their system, we probably don't want to force 11 as the minimum just yet....

> This would also force us to use quarkus As I understand it, this is just a fork from graalvm more suited to quarkus, but wouldn't this be just a...

It's difficult to know which tests may trigger the downloading behaviour, so the only way to be safe is to ensure all test suites use a different cache. Easiest way...

I think it makes sense to be able to filter out validation errors, by their error code based on file extension. I'm sure we may have cases of developers using...