I clicked the "download" link next to "JBoss Portal + JBoss AS 4.2.3 - 2.7.2" and the download window popped up and the download started.
What browser are you using? I'm using Firefox. Also, be careful of "helpful" browser addons - I once had a "Sourceforge helper" addon that was anything but a helper": it kept me from downloading the portal and a few other things until I got rid of that addon.
Just for grins I fired up IE 7 and tried there. Weird - it gives ne a SourceForge page with all kind of JBoss stuff (AS, JCA, Wenb, etc) that I can download but nothing related to Portal.
Sourceforge had issues yesterday/today, from their mouth an hour ago it was supposed to get back to normal in 4 hours
Thanks for your replies. I am using the latest Firefox; I have tried several times since my initial post to download the bundled 4.2.3 JBoss AS and Portal 2.7.2 but no luck. SourceForge still does not provide the proper link to the bundle. I'll keep trying.