jacob/ClipboardManagerPlugin — pull request #2 by colkito (2013-05-30 04:15:59+00:00)
Title: Update ClipboardManagerPlugin.java

fix deprecated ClipboardManager