File jedit-4.2-name-clash.patch of Package jedit

--- org/gjt/sp/jedit/GUIUtilities.java
+++ org/gjt/sp/jedit/GUIUtilities.java
@@ -1516,7 +1516,7 @@
 	//{{{ showSplashScreen() method
 	static void showSplashScreen()
 	{
-		splash = new SplashScreen();
+		splash = new org.gjt.sp.jedit.gui.SplashScreen();
 	} //}}}
 
 	//{{{ advanceSplashProgress() method
@@ -1529,7 +1529,7 @@
 	//}}}
 
 	//{{{ Private members
-	private static SplashScreen splash;
+	private static org.gjt.sp.jedit.gui.SplashScreen splash;
 	private static Hashtable icons;
 	private static String iconPath = "jeditresource:/org/gjt/sp/jedit/icons/";
 	private static String defaultIconPath = "jeditresource:/org/gjt/sp/jedit/icons/";