K 10 svn:author V 5 peter K 8 svn:date V 27 1995-12-04T17:33:45.000000Z K 7 svn:log V 131 aargh! I tested JREMOD, only to discover that the "good oil" part of it for si.c was accidently inside some #ifdef DEBUG code.... END