Just to make sure, that line starting with 127.0.0.1 in /etc/hosts should be exactly one line. If it's too long, split it up like that:
127.0.0.1 server1.operamini.com server2.operamini.com server3.operamini.com 127.0.0.1 server4.operamini.com server5.operamini.com server6.operamini.com 127.0.0.1 server7.operamini.com server8.operamini.com server9.operamini.com
Can you please confirm, that you found it at the path I guessed (~/.opera/ds/8_all)?!