PROBCORE-537 Fixed the implementation of eval() and value() on StateId, and added javadoc documentation.