JDK 管理器，收集来源于 VSCode Java 插件支持的管理器类型
A browser interface to the Rust compiler to experiment with the language
