onPrimary = false;
activePrimaryClipboard = null;
int /*long*/ clearFunc(int /*long*/ clipboard,int /*long*/ user_data_or_owner){	if (clipboard == Clipboard.GTKCLIPBOARD) {		onClipboard = false;		clipboardData = null;		clipboardDataTypes = null;	}	if (clipboard == Clipboard.GTKPRIMARYCLIPBOARD) {		onPrimary = false;		primaryClipboardData = null;		primaryClipboardDataTypes = null;	}	return 1;}