Oh, I did not realize/know that Opera Mini was a Java application. Some glimmer of hope then! Thanks a lot.
Do you think that apart from User-Agent, any other request headers might also be having an effect? Is there any way to see all the request headers that are going out of the mobile? Can this information be captured somewhere/somehow?