Fixed in trunk (was Re: run-program issues with OpenJDK 11)