That Opera mini is actually not half bad, and surprisingly fast. Does anybody know how it works? Is it really (as it appears) totally written in Java?