我已经从 Eclipse 的“安装新软件”中安装了 tptp。在下一步中，我应该安装代理控制器。
我已经下载了代理控制器 4.7.2 并解压缩了它。根据指示，我现在应该：
“从 \bin 目录中的命令外壳运行 SetConfig.bat 脚本以生成代理控制器的配置文件。”
当我在 cmd 中键入 SetConfig.bat 时，它说找不到 setconfig.bat。我检查了 bin 文件夹，没有这样的文件。所以我不知道该怎么办。
该指令还说：“该脚本要求 PATH 环境变量中存在 Java 虚拟机 (JVM)。” 也许这会导致问题？但我不知道如何将 jvm 设置为路径变量。我用win7
我现在该怎么办？提前谢谢！