Java 为TPTP评测设置JRE_Java_Profiling_Eclipse Tptp

Java 为TPTP评测设置JRE

java

Java 为TPTP评测设置JRE,java,profiling,eclipse-tptp,Java,Profiling,Eclipse Tptp,我试图分析一个项目加载一些依赖于cygwin的外部库。为此，我需要使用一个与中建议的类似的本机java启动器在运行和调试配置中，有一个地方可以手动设置JRE，这样我就可以使用自己的java-launcher.exe而不是默认的java可执行文件来配置项目运行。但是，我似乎无法对TPTP探查器配置执行相同的操作您对如何手动设置JRE有何建议，或者建议我使用不同的分析器

我试图分析一个项目加载一些依赖于cygwin的外部库。为此，我需要使用一个与中建议的类似的本机java启动器

在运行和调试配置中，有一个地方可以手动设置JRE，这样我就可以使用自己的java-launcher.exe而不是默认的java可执行文件来配置项目运行。但是，我似乎无法对TPTP探查器配置执行相同的操作

您对如何手动设置JRE有何建议，或者建议我使用不同的分析器