--- libsrc/lwjgl/src/native/linux/display.c	2006-05-29 18:49:24.000000000 +0200
+++ libsrc/lwjgl/src/native/linux/display.c-gil	2011-06-24 18:18:21.184130873 +0200
@@ -132,10 +132,15 @@
 }
 	
 static extension getBestDisplayModeExtension(JNIEnv *env, Display *disp) {
+/* HDG disable use of xrandr, as it hangs on exit in XRRGetScreenInfo.
+   Note I don't think this is bolzplatz fault, but lets workaround it. */
+#if 0
 	if (isXrandrSupported(env, disp)) {
 		printfDebugJava(env, "Using Xrandr for display mode switching");
 		return XRANDR;
-	} else if (isXF86VidModeSupported(env, disp)) {
+	} else
+#endif
+	if (isXF86VidModeSupported(env, disp)) {
 		printfDebugJava(env, "Using XF86VidMode for display mode switching");
 		return XF86VIDMODE;
 	} else {