Cannot paste in "Port" field of "Connect to REPL" dialog.

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Copy an integer.
2. Select "Connect to REPL" from the Window menu.
3. Try pasting the integer in the "Port" field.

What is the expected output? What do you see instead?

Expected: integer gets pasted.
Observed: nothing happens (keystrokes are probably eaten because they are not 
integers).

What version of the product are you using? On what operating system?

- Counterclockwise (Clojure plugin for 
Eclipse)    0.10.1.STABLE001    ccw.feature.feature.group   Counterclockwise team

- Eclipse for RCP and RAP Developers
Version: Juno Service Release 1
Build id: 20121004-1855

- Mac OS X 10.8.2

Original issue reported on code.google.com by oni...@gmail.com on 14 Nov 2012 at 6:11

[GoogleCodeExporter]

Original comment by laurent....@gmail.com on 14 Nov 2012 at 9:18

• Changed state: Accepted
• Added labels: next

[GoogleCodeExporter]

Original comment by laurent....@gmail.com on 15 Nov 2012 at 8:42

• Changed state: Started

[GoogleCodeExporter]

Original comment by laurent....@gmail.com on 15 Nov 2012 at 8:57

• Changed state: Fixed-to-deliver

[GoogleCodeExporter]

Original comment by laurent....@gmail.com on 15 Nov 2012 at 11:21

• Changed state: Fixed