splash.add(new JLabel("jEdit " + jEdit.getVersion(), SwingConstants.CENTER),BorderLayout.SOUTH);
progress = new JProgressBar(0,9); progress.setStringPainted(true); progress.setString("jEdit " + jEdit.getVersion()); splash.add(BorderLayout.SOUTH,progress);
	public SplashScreen()	{		JPanel splash = new JPanel(new BorderLayout());		URL url = getClass().getResource("/org/gjt/sp/jedit/jedit_logo.gif");		if(url != null)		{			splash.add(new JLabel(new ImageIcon(url)),				BorderLayout.CENTER);		}				splash.add(new JLabel("jEdit " + jEdit.getVersion(),			SwingConstants.CENTER),BorderLayout.SOUTH);		splash.setBorder(new SoftBevelBorder(BevelBorder.RAISED));		setContentPane(splash);		setCursor(Cursor.getPredefinedCursor(Cursor.WAIT_CURSOR));		Dimension screen = getToolkit().getScreenSize();		pack();		setLocation((screen.width - getSize().width) / 2,			(screen.height - getSize().height) / 2);		show();	}