The search field has three options:

A Search the community
B Search the project pages
C Search the community portal

A && B seem to be the exact same.

C is not the community portal but Red Hat Customer Portal.

I would say make it be:

Search JBoss Community
Search Red Hat Customer Portal

Might need to change the order of these and the urls since jboss.org is redoing their search stuff.