afaik it is not in the user-agent header, but Mini provides additional HTTP headers that describe the device, at least in some cases (when Java platform/vm provides it)