IDEA外部工具配置-OpenJML篇
帮助文档
jetbrains帮助文档：https://www.jetbrains.com/help/idea/settings-tools-external-tools.html
使用external tools教程（win/linux）：https://www.jianshu.com/p/da29cc50eaf4
SRE实战 互联网时代守护先锋，助力企业售后服务体系运筹帷幄！一键直达领取阿里云限量特价优惠。使用external tools教程（mac）：http://hyuga.top/2018/09/07/idea-external-tools/
添加OpenJML
参数(arguments)设置仅供参考
运行：IDEA→tools→external tools
更多精彩
