I want to download Opera and there's two options, Java and non-java. There's quite a big size difference, but what else is different between the two? What does it mean by Java?