ThreadPoolExecutor should not specify a dependency on finalization

ThreadPoolExecutor specifies the use of finalization to cleanup unreferenced Exectors. With the deprecation of Object.finalize another mechanism should be implemented.

A first step is to remove the dependency on Object.finalize from the specification of ThreadPoolExecutor.finalize.
An interium step can be to move the finalize to an implementation specific class.