These are generated using the WindowBuilder JFace.