Sat, 03 Nov 2007 15:34:22 +0100fixing bug in handling of PRIVATE token.
mario [Sat, 03 Nov 2007 15:34:22 +0100] rev 80
fixing bug in handling of PRIVATE token.