it was pointed out that there were a few lingering (inconsistent) uses of
quoted #include "file" remaining. To be consistent those were changed to #include <file>
Authored by: sms00 2004-09-01
Parent: [r2424]
Child: [r2426]
