Alert: Test that non-existent annot fetch gives error
Alert: SUCCESS: Document.getAnnot: Object no longer exists.
Alert: Test initial cases
Alert: annot: object
Alert: hidden: true
Alert: name: Annot-1
Alert: type: Highlight
Alert: hidden now: true
Alert: hidden now: false
Alert: name now: nonesuch
Alert: Test assigment to read-only property gives error
Alert: SUCCESS: Annot.type: Cannot assign to readonly property.
Alert: Test lookup after name change gives error
Alert: SUCCESS: Document.getAnnot: Object no longer exists.
Alert: Test lookup under changed name
Alert: nonesuch after name change: object
Alert: Test setting empty name under changed name
Alert: name after empty name change: 
