eclipse/webtools.sourceediting — pull request #1 by ilx (2012-11-21 09:08:34+00:00)
Title: [390826]

Fix for https://bugs.eclipse.org/bugs/show_bug.cgi?id=390826