The JML webpages have been reorganized. The page you are requesting is now available at:
http://www.jmlspecs.org/developer-tips.shtml
The new URL should automatically load in a few seconds. If you are tired of waiting, load the new page.
Page last modified $Date: 2006/08/28 21:20:20 $.