Eclipse Clipboard History Plugin