[BUG #8137] Removed lint warnings
Merge branch 'master' of https://github.com/qooxdoo/qooxdoo
[BUG #8137] Fixed lint warnings
Merge branch 'master' of https://github.com/qooxdoo/qooxdoo