Modify emitAnnotation to elide the "value" key in annotation declarations for annotations with a single value attribute.