Fixed javadoc in AtclauseOrderCheck #365