console.setGreeting("Welcome to Vaadin console demo.");
console.reset();
console.focus();
// Publish the methods in the Console class itself for testing purposes.
console.addCommandProvider(inspector = new ObjectInspector(console));
// Add help command
Command helpCommand = new Console.Command() {
private static final long serialVersionUID = 2838665604270727844L;