Utility code for JFace.