traff/jediterm — pull request #50 by Plonk42 (2013-08-28 10:10:49+00:00)
Title: mySelection is protected, some clean-up

- `mySelection` is made `protected` : this is needed to extend `TerminalPanel.java` and keeping the access to the selection state
- remove `com.sun.jna.Platform` dependency in `DefaultSettingsProvider.java`
- `getClipboardString()` does nothing more than `getClipboardContent()` (exceptions are already caught)