[PATCH 0 of 1] Remove duplicate --with-icedtea/--with-icedtea-home options

[gnu_andrew at member.fsf.org]

The patch in the following email removes --with-icedtea	and
--with-icedtea-home, moving any unique elements into --with-openjdk
and removing duplication.  It also merges --with-openjdk and
--with-openjdk-home into one option, so it does the usual search
without an option and can be given a specific path when needed.