Java jdt-language-server version

just to be clear, replit staff all have a flair with the replit logo on their profile picture. Not that we like pinging of staff either.
And this “bug” is a trait of JDT which happens to be used by replit but is designed to be friendly for Eclipse users (just search on Google). To have replit change the default version on the Java template would make this a Feedback/General Problems topic.

Edit pom.xml like this:

<project>
<properties>
    <maven.compiler.source>17</maven.compiler.source>
</properties>
</project>

And then restart the Java language server

4 Likes