Fixed Checkstyle/JML issues.