You may change the JRE that the DocFetcher.bat uses by replacing the "java" keyword in the last line of the bat file with a path to the java executable, e.g. like so:
C:\path\to\jre\java -enableassertions -Xmx512m ...
You may change the JRE that the DocFetcher.bat uses by replacing the "java" keyword in the last line of the bat file with a path to the java executable, e.g. like so:
C:\path\to\jre\java -enableassertions -Xmx512m ...