Wed, 14 Nov 2007 08:54:25 +0100 mario Fixing handling of enumeration values;
Sat, 10 Nov 2007 07:12:12 +0100 mario fixing 'priority' in SFC.