The download page "GateIn Portal - Downloads - JBoss Community " doesn't have latest version (4.0) of GateIn Portal instead it shows "JBoss Portal built from GateIn 3.6" and its link show 404 page on red hat site.
I am also not able to download "Red Hat Jboss Portal 6.2" directly from Red Hat site access.redhat.com, it says: "You do not have access to the requested software."
I am not sure if Red Hat subscription is required for "Red Hat Jboss Portal 6.2"