This method had a nice comment (see line 702 above), put it back to javacomment of the method.