badge property

int badge
getter/setter pair

Implementation

int badge = 0;