Doh! I’m really starting to like using the Awesome window manager, but I’ve just now realized that jEdit doesn’t work with it. I read some solutions involving this:

export AWT_TOOLKIT=MToolkit

Alas, that’s crashing the JRE for me:

# A fatal error has been detected by the Java Runtime Environment:
#
#  SIGSEGV (0xb) at pc=0x00007fa29802f63f, pid=1622, tid=140336298363216
#
# JRE version: 6.0_14-b08
# Java VM: Java HotSpot(TM) 64-Bit Server VM (14.0-b16 mixed mode linux-amd64 )
# Problematic frame:
# C  [libc.so.6+0x3063f]  catgets+0x1f
#
# An error report file with more information is saved as:
# /home/user/hs_err_pid1622.log
#
# If you would like to submit a bug report, please visit:
#   http://java.sun.com/webapps/bugreport/crash.jsp
# The crash happened outside the Java Virtual Machine in native code.
# See problematic frame for where to report the bug.

This workaround makes it happen:

apt-get install ia32-sun-java6-bin

and then I put this in /usr/bin/jedit:

export JAVA_HOME=/usr/lib/jvm/ia32-java-6-sun/jre/
export AWT_TOOLKIT=MToolkit

¥