/* XXX ERROR -- could not find 'collectivegtdwidgets.js'*/