protected void finalize() { try { delete(); } catch (Exception e) { System.err.println("Exception during finalization: " + e); e.printStackTrace(System.err); } }