eclipse / jsf / webtools.jsf / 47c348ef7fa85b2f701763724f963565d8155f4d / . / jsf / plugins / org.eclipse.jst.pagedesigner / src / org / eclipse / jst / pagedesigner / editors / palette / paletteinfos / internal / util