PrettyPRint: Fix problem in Enum properties (not sure this is really needed - needs more testing)
Merge pull request #5 from bdb-opensource/master

Fix compilation problems and issues in PrettyPrint