I think we can probably delete it. I copied that region from the jsp editor plugin.xml (where it was commented out, too), thinking I might need it. I don't think we'll need any of that code, and if we do, I know where to look (and it's now in our source history).