蚀市场插件标识

Question

有人知道下图中表示什么工具吗？

我正在从另一个同事的PC导入一个项目，他不再在这里，所以我可以为此而烦恼。 我正在开发市场，但只发现了Java ide Web工具和Maven工具...