major_ = String_convert::dec2int (version[0]);
if (version.size () > 1 && isdigit (version[1][0]))
minor_ = String_convert::dec2int (version[1]);
major_ = String_convert::dec2int (version[0]);
if (version.size () > 1 && isdigit (version[1][0]))
minor_ = String_convert::dec2int (version[1]);