Bill,
   Your proposal seems fine to me.  In general, programmers require a fair
amount of education concerning the use of finalization.  (I've written an essay
on the topic for my forthcoming book.)  I don't think it's a big deal to add
synchronization requirements to the long list of cautions.
                                       Josh
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:24 EDT