我正在使用rodin and eventb framework，它使用equinox和eclipse。我们现在正在修改它以支持我的研究团队的新功能，我们想要摆脱GUI部分（主要是为了避免编写gui代码并能够在远程服务器上启动繁重的计算）。我们成功拥有自己的代码包，只需要下面的eclipse和equinox包（来自eclipse版本3.7.1）：
和rodin和eventb捆绑：
在启动osgi容器期间，会创建一个目录工作区，并在.metadata/.log中报告一些错误，但似乎配置错误我可以修复...
问题：如果没有gui，尝试这样做是个好主意吗？我害怕花很多时间来发现错误或不可能运行整套设置。有没有人对这种配置有一些经验？