public int segment(int index) { return ((Long)m_segments.get(index)).intValue(); }
private static bool match(Version a, Version b) { if (a.segments().sz() > b.segments().sz()) { return(false); } for (int i = 0; i < a.segments().sz(); ++i) { if (a.segment(i) != b.segment(i)) { return(false); } } return(true); }