fix coverage for Jython