Reviewed-by: alanb, mullan, prr

Reviewed-by: xdono

6984255: Request for java.awt.SplashScreen spec update: mention possibility of having custom "-splash" option
6992416: [Spec clarification request] Is color deviation for splash screen image allowed?
6992833: [Spec clarification request] point (0,0) in SplashScreen.createGraphics()
6993071: java.awt.SplashScreen should mention that no unnecessary distortions  to the image are allowed
6993113: [Spec clarification request] getSplashScreen(): null or HeadlessException?
6996439: [Spec clarification request] Is any delay with splashscreen appearance allowed?
Summary: Update SplashScreen specification
Reviewed-by: art

Summary: Mark the splash screen closed when it happens implicitly
Reviewed-by: art, dcherepanov

Reviewed-by: darcy, weijun

Summary: Replace calls to Logger with sun.util.logging.PlatformLogger
Reviewed-by: prr, art, alexp, dcherepanov, igor, dav, anthony