帮助文档

• jetbrains帮助文档：https://www.jetbrains.com/help/idea/settings-tools-external-tools.html

• 使用external tools教程（win/linux）：https://www.jianshu.com/p/da29cc50eaf4

• 使用external tools教程（mac）：http://hyuga.top/2018/09/07/idea-external-tools/

添加OpenJML

参数(arguments)设置仅供参考

运行：IDEA→tools→external tools