positioning after zoom
Merge branch 'vaadin7' into graphdbindex