remove name clash with JDT editor category