if (s_singleton == null) { if (JRE_1_3_PLUS) { s_singleton = new JRE13ExitHookManager (); } else { throw new UnsupportedOperationException ("no shutdown hook manager available [JVM: " + Property.getSystemFingerprint () + "]"); } } return s_singleton;