Selection tool pull request to develop#17

MetaSoc wants to merge 3 commits intodevelopMitschelor/JHotDraw:developfrom

selection-toolMitschelor/JHotDraw:selection-toolCopy head branch name to clipboard