#519 Allow splash screen that is not 'always on top'

The jEdit splash screen is currently 'always on top'. Sometimes, it takes jEdit a lot of time to start, and during this time the splash screen hides a large portion of the screen and prevents me from working with other applications.
I know I can get rid of the splash screen, but I am interested in it, and in being able to check the startup progress.

[Eric Le Lay]

same splash screen but with space below for progress message

[Eric Le Lay]

patch hacked from git format-patch

[Eric Le Lay]

here is a patch to use java6 native splash screen.
For me, it goes to background.
Is it better ?

[Alan Ezust]

It satisfies the feature request, in that the splash screen is no longer always on top. I see a strange flickering at first when it pops up but aside from that it looks good to me.

[Alan Ezust]

Ticket moved from /p/jedit/feature-requests/452/

[Alan Ezust]

Eric, you have my permission to commit this.

[Eric Le Lay]

Applied in [r23449].

I've tested both versions (native and window based) by setting realSplash to null in SplashScreen().
The code has been refactored a bit since the patch.