P12: Tweaked Java code.