A "characters delimited code interceptor" widget for Vaadin