shell.addPaintListener(new PaintListener() {
public void paintControl(PaintEvent event) {
event.gc.drawImage(background, 0, 0);
new LabelOverlay().paintLabels(labeling, event.gc);
}
});
// needed for debugging
shell.addMouseMoveListener(new MouseMoveListener() {