Fix selection start when typing with pressed shift key.
Merge remote-tracking branch 'GitHub-void/1.4' into 1.4
Merge pull request #75 from mkaring/1.4

TextField Bugfix
Decrease CPU load caused by Draggable

The draggable control now only triggers dragging in case there is really a drag action. In case just a click is done
the control just pulls the draggable to the front if its not in the front already.
BringToFront-method for draggable and window

Both the draggable and the window control get a method that allows to move the control inside its parent to the front
 position so its rendered on top of its siblings.
Merge pull request #76 from mkaring/1.4

Decrease CPU load caused by Draggable
Removed useless listener notification during layout
Merge pull request #77 from mkaring/1.4

Removed useless listener notification during layout
Fixed but in treebox

This bug caused the tree box item converter to generate elements with duplicated IDs
Merge pull request #78 from mkaring/1.4

Fixed but in treebox
Removed redundant compiler configuration.

The same configuration is in the master pom.
(Verified by diffing the effective POM as presented by Eclipse m2e.)
Set Java version from property instead of by plugin configuration.

This makes it somewhat easier to override the Java version from
child POMs.
Also, it does not nail down the maven-compiler-plugin version
anymore. Sure enough, this bumped the version from 2.3.1 to 2.3.2
(2.3.2 fixes http://jira.codehaus.org/browse/MCOMPILER-109).
Merge pull request #79 from toolforger/maven-cleanup

Maven cleanup
Take current threads contextClassLoader for resource loading, which is more flexible
Improved drag and drop

Added possibility to manually change the droppable that is parent to a draggable
Merge remote-tracking branch 'GitHub-void/1.4' into 1.4
Merge pull request #80 from mkaring/1.4

Improved drag and drop
Improved drag and drop

Added support to properly enable and disable the draggable without corrupting the state of the GUI
Merge pull request #86 from mkaring/1.4

Improved drag and drop
Made Element.findElementByName() deprecated, offer Element.findElementById() instead with same functionality