For reference, you don't need to remove it and install the other. You can install the new one and mark the old one as automatically installed. <div class="gmail_quote">On Oct 21, 2012 8:26 PM, "Colin Law" <<a href="mailto:clanlaw@googlemail.com">clanlaw@googlemail.com</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> On 21 October 2012 18:20, Tony Arnold <<a href="mailto:tony.arnold@manchester.ac.uk">tony.arnold@manchester.ac.uk</a>> wrote: > Colin, > > On 21/10/12 16:44, Colin Law wrote: >> On 21 October 2012 16:42, Tony Arnold <<a href="mailto:tony.arnold@manchester.ac.uk">tony.arnold@manchester.ac.uk</a>> wrote: >>> Colin, >>> >>> >>> You probably need the plugin. Install icedtea-plugin, which is the one >>> that is part of openjdk. >> >> icedtea-6-plugin in fact. > > Both will work. icedtea-plugin depends on icedtea-6-plugin. I presume > when Java 7 becomes the default icedtea-plugin will eventually depend on > icedtea-7-plugin! I see. I had not noticed that there is a generic icedtea-plugin. Perhaps I should remove the version 6 and install the generic. .... However having looked further I see that on 12.10 this will actually pull in version 7 so I think I need to check how I installed java in the first place. Colin -- <a href="mailto:ubuntu-uk@lists.ubuntu.com">ubuntu-uk@lists.ubuntu.com</a> <a href="https://lists.ubuntu.com/mailman/listinfo/ubuntu-uk" target="_blank">https://lists.ubuntu.com/mailman/listinfo/ubuntu-uk</a> <a href="https://wiki.ubuntu.com/UKTeam/" target="_blank">https://wiki.ubuntu.com/UKTeam/</a> </blockquote></div>