[HTMLEditor, Linux] SIGSEGV, when paste text.

#
# A fatal error has been detected by the Java Runtime Environment:
#
# SIGSEGV (0xb) at pc=0xb6e0287c, pid=25470, tid=2094713712
#
# JRE version: 7.0-b147
# Java VM: Java HotSpot(TM) Server VM (21.0-b17 mixed mode linux-x86 )
# Problematic frame:
# V [libjvm.so+0x3f387c] jni_IsInstanceOf+0x8c
#
# Failed to write core dump. Core dumps have been disabled. To enable core dumping, try "ulimit -c unlimited" before starting Java again
#
# An error report file with more information is saved as:
# /home/fx/work/all_javaclients/java-client_2.1.0b20/java-client/ControlsTests/hs_err_pid25470.log
#
# If you would like to submit a bug report, please visit:
# http://bugreport.sun.com/bugreport/crash.jsp
#
Java Result: 134

To reproduce :
1) Copy some text somewhere.
2) Put it into HTMLEditor using ctrl+V.
Actually, 1,2 can be replaced by printing text into HTML editor, but there is a bug about printing.
3) select some text.
4) cut it using ctrl+x or according button in toolbar.
5) paste it using ctrl+v or according button in toolbar.