Updating the java.version property reported by IcedTea

[Andrew Haley]

Mark Wielaard wrote:

>>
>> What do others think about making IcedTea report 1.6.0_16 to match the update
>> number? If that is not possible, I can just make the plugin report it,
>> but it'd be nice to have the system itself do the right thing.
> 
> If we have to have a "real" update number it would be nice to base it on
> the actual icedtea version number.

I think the best chance of this working properly is if we print something
that is as close as possible to that of the proprietary JDK.

Andrew.