jlaine
committed
on 25 Mar 04

Fixed bug #1299: added noquote to supertypes.name