Examples & work-arounds for the broken JVM finalize()