FULL PRODUCT VERSION :
java version "1.6.0"
Java(TM) SE Runtime Environment (build 1.6.0-b105)
Java HotSpot(TM) Client VM (build 1.6.0-b105, mixed mode, sharing)


ADDITIONAL OS VERSION INFORMATION :
Linux crash.domain.tld 2.4.21-47.0.1.ELsmp #1 SMP Thu Oct 19 11:33:45 EDT 2006 i686 i686 i386 GNU/Linux

EXTRA RELEVANT SYSTEM CONFIGURATION :
The problem shows up with NoMachine NX and it also seems to happen with Cygwin's X Server.

A DESCRIPTION OF THE PROBLEM :
Try starting jEdit-4.3pre8 using Java 6 (jre 1.6.0) on NX, it will crash when trying to display the splash screen. It works well with other X servers and also Xnest, but it also works well with jre 1.5 on NX. Trying to find out where exactly it fails, it seems that it's how the RANDR extension is implemented in NX and Java 6. Renaming /usr/X11R6/lib/libXrandr.so.2.0 before starting jEdit makes it work. I'm aware that this could also be a bug in NX, but I got reports now that it also happens with Cygwin's X Server.
There is some more info here
https://sourceforge.net/tracker/index.php?func=detail&aid=1628432&group_id=588&atid=100588

STEPS TO FOLLOW TO REPRODUCE THE PROBLEM :
nxagent -ac :1 &
export DISPLAY=:1
jedit

EXPECTED VERSUS ACTUAL BEHAVIOR :
EXPECTED -
jEdit should show it's splash screen and then start up.
ACTUAL -
jEdit doesn't start.

ERROR MESSAGES/STACK TRACES THAT OCCUR :
[error] main: Exception in thread "main"
[error] main: java.lang.NullPointerException
[error] main: at org.gjt.sp.jedit.gui.SplashScreen.<init>(SplashScreen.java:59)
[error] main: at
org.gjt.sp.jedit.GUIUtilities.showSplashScreen(GUIUtilities.java:1622)
[error] main: at org.gjt.sp.jedit.jEdit.main(jEdit.java:309)


REPRODUCIBILITY :
This bug can be reproduced always.

---------- BEGIN SOURCE ----------
57: GraphicsEnvironment ge = GraphicsEnvironment.getLocalGraphicsEnvironment();
58: GraphicsDevice[] gs = ge.getScreenDevices();
59: int height = gs[0].getDisplayMode().getHeight();
60: int width = gs[0].getDisplayMode().getWidth();

---------- END SOURCE ----------

CUSTOMER SUBMITTED WORKAROUND :
Starting jEdit without splash makes it work:
touch .jedit/nosplash
jedit