@@ -409,10 +409,16 @@
  * Deallocates the object and also frees all memory in its memory pool.
  *
  * It is also called when the retain count reaches zero.
  */
 - (void)dealloc;
+
+/**
+ * If a garbage collector is added in the future, this method will be called
+ * before it disposes of the object, for example to close files.
+ */
+- (void)finalize;
 @end
 
 /**
  * \brief A protocol for the creation of copies.
  */