eclipse / jsf / webtools.jsf / 8a382857aa8960b8eb5e2c69faa8073c370dba67 / . / jsf / plugins / org.eclipse.jst.pagedesigner / src / org / eclipse / jst / pagedesigner / editors / palette / paletteinfos / internal / util