Axelchen: Nee, beim Nokia scheint es keine getrennte Profil-Einstellung für Java-Applikationen wie den Opera Mini 5 zu geben. Jedenfalls habe ich keine gefunden.
Aber das ganze hat mir keine Ruhe gelassen und ich habe noch eine weitere Stunde rumgesucht und bin fündig geworden (falls es andere auch helfen sollte):
In den Einstellungen von Opera Mini (Schraubenschlüssel) unter "Weiteres" gibt es einen Unterpunkt "Protokoll". Den habe ich von "Socket" auf "HTTP" gestellt und siehe da, es funktioniert dann auch mit dem WAP-APN.
Ist natürlich nicht dokumentiert, aber kann man vielleicht so deuten: Socket bedeutet, dass Opera über einen Socket mit einem programmspezifischen Port arbeitet (der beim WAP-APN von vodafone gesperrt ist) und HTTP, eben halt Kommunikation über Port 80 (die bei vodafone freigegeben ist).
Problem scheint also gelöst und daher noch einen schönen Abend.
Voithian