fixed State class javadoc
Merge branch 'refs/heads/rename-TermContext-to-State' into State-known-about-top-configuration