Fix issue #11: Jython process doesn't terminate.