Don't stall on disabled plugins during initialization
Proceed with initialization when no plugins are configured
Add tooltip for toggling numerated headers
Merge pull request #913 from maschonber/commercial-hotfix-batu-fr1

Add tooltip for toggling numerated headers
Prepared hotfix release
[maven-release-plugin] prepare release alohaeditor-0.23.7-commercial
[maven-release-plugin] prepare for next development iteration
[maven-release-plugin] prepare release alohaeditor-0.23.7
[maven-release-plugin] prepare for next development iteration