highlighting improvement
Merge remote-tracking branch 'origin/vaadin7' into vaadin7
changes for rtl languages
Merge branch 'vaadin7', remote-tracking branch 'origin/vaadin7' into vaadin7
support for hebrew
VisibilityCheckbox
createVisibilityCheckbox

done
VisibilityCheckbox for all UserMarkupCollections
Merge branch 'f72' into vaadin7
grants auch fuer quartz
Merge remote-tracking branch 'origin/vaadin7' into vaadin7