Setting JRE for TPTP profiling

I am trying to profile a project loads some external libraries which depends on cygwin. In order to do so, I need to use a native java launcher similar to the one suggested in this link.

In the running and debugging configurations, there's a place to manually set the JRE so I was able to configure the project to run using my own java-launcher.exe instead of the default java exec开发者_高级运维utable. I can't, however, seem to be able to do the same with the TPTP profiler configuration.

Do you have any suggestions how to manually set the JRE, or perhaps suggest a different profiler I could use?