Cleaned up a screw up - keep in mind themes are copied to the VAADIN/themes folder when deployed