dfuchs [Wed, 16 Oct 2013 20:47:30 +0200] rev 20865
8013839: Enhance Logger API for handling of resource bundles
4814565: (rb) add method to get basename from a ResourceBundle
Summary: adds Logger.setResourceBundle(ResourceBundle) and ResourceBundle.getBaseBundleName()
Reviewed-by: mchung, naoto