git.eclipse.org / jsf / webtools.jsf / 943e6eb63b76811c2907734f3c70e59ce636f56c / jsf / plugins / org.eclipse.jst.pagedesigner / src / org / eclipse / jst / pagedesigner / tableedit / ColumnResizeHandle.java