Bug#829008: update-java-alternatives always switches back to default

[Emmanuel Bourg]

Le 29/06/2016 à 20:40, Paul Draper a écrit :

> I presume that do_auto was at one time important
> for something, though I have no idea what it was.

do_auto is the function called when update-java-alternatives is called
with the --auto option. This resets to the highest priority JRE.

I'm not sure to understand why do_auto is called from do_set though. We
can try removing it and see how it works.

Emmanuel Bourg