關於外部工具引入
引入外部工具的大致原理是：在jetbrain中預設執行程序（Program）和程序執行參數（Arguments）。然后由jetbrain根據這些預設好的信息在terminal中生成引入外部工具的指令。如果遇到報錯情況，可能是生成的命令本身執行存在問題。本文寫的參數是在windows平台的，似乎在mac os上有問題。
幫助文檔
-
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