Renamed DetailedVersion to Version, now with compareTo()