DocFetcher Pro 1.13 has just been released.
The bundled Java runtime has been downgraded from Java 16 to Java 11 due to some reports of stability issues. – Apparently, it’s unwise to live on the bleeding edge of Java technology. The downgrade has virtually no impact on performance: In the previously discussed benchmark, going from Java 16 to Java 11 results in only about 100 ms of additional index loading time.
In addition to the Java runtime downgrade, this release fixes a handful of crashes and some other issues. For details, see the changelog.