fixed a bug that was preventing Java code coverage