PrintDeniedPermissions - added parameter for codesource debugging
#12 better handling of character escaping in codesource