#1 Fix theming issues resulting from migration to Vaadin 7