webjar 项目，用于将 WebIDE 前端打包成 webjar - View it on GitHub