This version contains

• configurable error level for validation failures
• improved bash script detection on files without file extension but being bash scripts
• bugfixes

For details see https://github.com/de-jcup/eclipse-bash-editor/milestone/17?closed=1