Example plugin for the Google Closure Editor