I think it was just a guess that General Dynamics made the device. Since no one was on the record about anything, they just did a Google search for "secure pda" and came up with that one.

I wouldn't be surprised if it's a regular BlackBerry with modified software.