Relevance Confirmation

• I confirmed that this is not an issue with the Eclipse JDT Language Server itself

What happened?

when the computer is offline and I launch zed on a java project, this plugin refuse to start the language server and report network issues

Language server jdtls: from extension "Java" version 6.4.0: failed to fetch GitHub tags: error sending request for url (https://api.github.com/repos/projectlombok/lombok/tags) Caused by: 0: client error (Connect) 1: dns error: failed to lookup address information: Name or service not known 2: failed to lookup address information: Name or service not known -- stderr-- 

What did you expect to happen?

make the version check not mandatory, or handle the network errors in a way that allows the language server to run

Environment

Zed: 0.199.10
Platform: NixOS unstable
Java: OpenJDK 21.0.7