- Java-API: sorted the options in the help menu in a more intuitive way
- Java-API: sorted the options in the help menu in a more intuitive way

l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror