text.addTraverseListener(new TraverseListener() {
              public void keyTraversed(TraverseEvent e) {
		  if ((e.detail == SWT.TRAVERSE_RETURN) && (e.stateMask == SWT.CTRL)) {
			e.doit = true;
		  }
	     }
});