The help pages for the Java and Kotlin demos mention a Windows batch file `rundemo.bat`, but they did not exist. I created them, so now the documentation is correct.
