Fix javadoc in Logic.java