Revision 575803a7739573c1cdba581e40eef8052f7f25b5

Committed on 17/08/2007 4:57 am by Derick Rethans <[email protected]> [GitHub Diff]

- Use setState() and getState() for ID reading and modification as that is
guaranteed to work even if those properties are private.