This is broken if `value` contains ". We should require the caller to use `JavaWriter.stringLiteral()` to escape value and wrap it in double quotes, and then this code here should use `annotationValue`.