Good job on diagnosing the problem. Instead of hacking up IdentValue, introduce another Value subtype (call it "TokenValue") that has this alternate printing behavior.
http://gwt-code-reviews.appspot.com/87802 --~--~---------~--~----~------------~-------~--~----~ http://groups.google.com/group/Google-Web-Toolkit-Contributors -~----------~----~----~----~------~----~------~--~---