Extract version numbers from an Eclipse SDK build