4.2 Beta 5
Java 1.7.0_25 (win8, i3 @1,8): the Edit menu functions DON'T WORK (including Ctrl-C, Ctrl-P, Ctrl-Z etc).

I also tested another machine:

Java 1.7.0_07 (win7, celron @1,3) they DO WORK.

ok