Click Preferences > JBoss Tools > Project Examples.
In Sites section, expand Plugin provided sites.
This lists 7.0 examples and 7.0 portal examples.
Should these be updated to 7.1?
Perhaps this is a feature that only gets updated at GA?

Build id: Beta1-v20131102-1529-B493