fixes #80, #81#83

ogobrecht wants to merge 5 commits intozabel-xyz:masterzabel-xyz/plsql-language:masterfrom

ogobrecht:developmentogobrecht/plsql-language:developmentCopy head branch name to clipboard