useful vscode extensions for java