Updating the java.version property reported by IcedTea

[Mark Wielaard]

Hi Andrew,

On Wed, 2009-12-02 at 09:27 +0000, Andrew Haley wrote:
> Mark Wielaard wrote:
> > 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.

Yes, of course, that is what my proposal does. But instead of hardcoding
an arbitrary number (_16) it generates it from the actual icedtea
package version (_17) so it actually has meaning as update version
number.

Cheers,

Mark