Fixed LogicEngineTest javadoc descriptions