結果 : which extension is used for java in vs code