redhat-developer / redhat-developer/vscode-java

Cannot really use the right jdk version without cleaning the workspace

Ouverte
#966 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

runtime
Langage dominant
TypeScript
Étoiles
2.3k
Forks
546
Merge moyen
20 h 1 min
PR mergées (30 j)
11

Description

Environment
  • Operating System: Windows
  • JDK version: 1.8.0_211 and 12.0.1
  • Visual Studio Code version: 1.35.1
  • Java extension version: 0.46.0
Steps To Reproduce
  1. Open a java12 invisible project
  2. Change the local JDK version from 8 to 12
  3. Reopen the project in VSCode again

[attach a sample project reproducing the error]
invisble-project.zip

Current Result
  1. There is still an error in the source code, the compilation failed
  2. After cleaning java language server workspace, compile again, works

image

Expected Result

Works without cleaning java language server workspace

Guide de contribution

Ouvrir le guide de contribution

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Piste de recherche

Utilisez invisible-project.zip pour reproduire le problème sous Windows avec JDK 8, passez à JDK 12, puis rouvrez le projet dans VS Code. Commencez par suivre l’état du workspace de Java language server autour de la compilation échouée ; c’est terminé lorsque le projet compile après la modification du JDK sans nettoyer le workspace.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Évaluation

Stack technique
java, vscode
Domaine
developer-experience, tooling
Type d'issue
Bug
Difficulté
4/5
Temps estimé
3-5 jours
Activité
À l'abandon
Clarté
Plutôt claire
Accessibilité débutants
45/100

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.