[armedbear] #470: run-program issues with OpenJDK 11