Metadata.handleId should handle escaped double quotes

Description

It's possible for a double-quoted identifier to contain a literal double-quote. The escaping method is to double it, for example "Foo""Bar" resolves to the internal name Foo"Bar.

Currently, Metadata#handleId only removes the outer quotes, producing Foo""Bar; it also needs to de-duplicate the inner ones.

Environment

None

Pull Requests

None

Status

Assignee

Olivier Michallat

Reporter

Olivier Michallat

Labels

None

PM Priority

None

Reproduced in

None

Affects versions

None

Fix versions

Pull Request

None

Doc Impact

None

Size

None

External issue ID

None

External issue ID

None

Priority

Minor
Configure