我已经为Eclipse安装了OpenJML工具（http://openjml.org/）并且正在使用它并且它运行良好。
但是，现在我需要从命令行调用 jmlc 和 jmlunit 工具。正如我从Internet上的搜索中看到的那样，这些工具应该位于JML的某个目录中，我应该将它们添加到PATH并通过调用相应的命令正常使用。但是一旦我下载OpenJML，我只有3个jar文件，根本没有目录。此外，从官方JML页面，没有其他链接可以下载其他版本而不是OpenJML。在我看来，我没有明显的东西。
那么，问题是如何找到这些工具在命令行上运行它们？
提前致谢。