Better plugin error handling
Merge branch 'master' of https://github.com/cadrian/Liberty
Merge branch 'master' of https://github.com/cadrian/Liberty
Merge branch 'master' of https://github.com/LibertyEiffel/Liberty
Merge branch 'master' of https://github.com/LibertyEiffel/Liberty
As always the compiler is right.
Merge https://github.com/cadrian/Liberty