javacomp: Portability fix.