console.setPs("}> ");
console.setCols(80);
console.setRows(24);
console.setMaxBufferSize(24);
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));