Searched refs:toolsRevision (Results 1 – 1 of 1) sorted by relevance
150 FullRevision toolsRevision = new FullRevision(Integer.MAX_VALUE); in checkVersion() local158 toolsRevision = FullRevision.parseRevision(m.group(1)); in checkVersion()178 if (toolsRevision.compareTo(MIN_TOOLS_REV, PreviewComparison.IGNORE) < 0) { in checkVersion()184 MIN_TOOLS_REV, toolsRevision)); in checkVersion()