(JavaDoc warning fixes.)