ticket top-level property

String ticket
getter/setter pair

Implementation

String ticket = "";