Fix for Java quirk.