if (display == null) DND.error(SWT.ERROR_WIDGET_DISPOSED); if (display.isDisposed()) DND.error(SWT.ERROR_DEVICE_DISPOSED);
checkWidget();
public String[] getAvailableTypeNames() {	if (display == null) DND.error(SWT.ERROR_WIDGET_DISPOSED);	if (display.isDisposed()) DND.error(SWT.ERROR_DEVICE_DISPOSED);		PhClipHeader[] types = _getAvailableTypes();	String[] names = new String[types.length];	for (int i = 0; i < types.length; i++) {		char [] unicode = Converter.mbcsToWcs (null, types[i].type);		names[i] = new String (unicode).trim();	}	return names;}