Hack to allow Console plugin when using Vaadin plugin.