Is JBoss Application Server 7 certified for use within Federal projects? For example, has it been approved for use within the Department of Defense (Air Force, Army, etc.)

> Thank you