Added a JavaVersion.fullVersion() method to convert a JavaVersion to a generic FullVersion.
Authored by: mgricken 2009-07-20
Parent: [r4944]
Child: [r4946]