A gwtQuery plugin for the new DOM Mutation Observer