Fix typecheck OUTPUT typemaps for Java