Fixed ERRAI-805: PushState support now compatible with GWT 2.7