If you get bored with the same old splash screen for jdeveloper, then go straightaway and modify the file from

${JDEV_HOME}/jdev/bin/splash.gif

Do not change the dimension. Look at mine  🙂

Keep playing…