#553 Event-based synthesis: warn if no requirement automata.
requested to merge 553-event-based-synthesis-tool-should-warn-about-synthesizing-specifications-without-requirements into develop
- Also fixed a JavaDoc.
- Also added some section comments.
- Also removed an inconsistent empty source code line.
Closes #553 (closed)