URL url = getClass().getResource("/jedit_logo.gif");
URL url = getClass().getResource("/org/gjt/sp/jedit/jedit_logo.gif");
	public SplashScreen()	{		getContentPane().setLayout(new BorderLayout());		URL url = getClass().getResource("/jedit_logo.gif");		if(url != null)			getContentPane().add("Center",new JLabel(new ImageIcon(url)));		getContentPane().add("South",new JLabel("jEdit version "			+ jEdit.VERSION + " build " + jEdit.BUILD,			SwingConstants.CENTER));		Dimension screen = getToolkit().getScreenSize();		pack();		setLocation((screen.width - getSize().width) / 2,			(screen.height - getSize().height) / 2);		show();	}