redhat-developer / redhat-developer/vscode-java

Extension often doesn't load in GitHub codespaces

Open
#3,121 3 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
TypeScript
Stars
2.3k
Forks
546
Avg merge
20h 1m
Merged PRs (30d)
11

Description

The extension often fails to load inside of a GitHub codespace. When this happens, the Java Project panel doesn't show up, none of the language server features work, and trying to run any of the Java: commands on the command palette shows an error command 'java.<command>' not found

Environment
  • Operating System: Ubuntu 20.04
  • JDK version: openjdk 17.0.7
  • Visual Studio Code version: 1.78.2
  • Java extension version: v1.18.0
Steps To Reproduce
  1. Open a GitHub codespace with the Language Support for Java(TM) extension installed
  2. If you're unlucky, the extension will not load properly, causing the previously mentioned errors

I was not able to get any logs because trying to run Java: Open All Log Files results in command 'java.open.logs' not found

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start with the reported GitHub Codespaces reproduction using Ubuntu 20.04, JDK 17.0.7, VS Code 1.78.2, and Java extension v1.18.0. Investigate why extension activation intermittently fails, then verify that the Java Project panel, language-server features, Java commands, and log-opening command work when the issue is fixed.

Written by the indexing model from the issue text.

Assessment

Tech stack
github, java, typescript, vscode
Domain
cloud, developer-experience, tooling
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.