The GWT stuff for libgdx-screenmanager
OtherNOASSERTION
This extension is no longer needed for libgdx-screenmanager 0.7+!