tokenizer.nextToken(); tempVersion = tokenizer.nextToken();
while (found == null) {  String token = tokenizer.nextToken(); if (token.matches("[0-9.]*")) { found = token; } }
    private Dot() {        String tempVersion = null;        try {            String dotCommand = "dot -V";            Process process = Runtime.getRuntime().exec(dotCommand);            BufferedReader reader = new BufferedReader(new InputStreamReader(process.getErrorStream()));            String versionLine = reader.readLine();            StringTokenizer tokenizer = new StringTokenizer(versionLine);            if (tokenizer.nextToken().equals("dot")) {  // skip 'dot'                tokenizer.nextToken();                  // skip 'version'                tempVersion = tokenizer.nextToken();    // x.x.x            } else {                System.err.println();                System.err.println("Invalid dot configuration detected.  '" + dotCommand + "' returned:");                System.err.println("   " + versionLine);            }        } catch (Exception validDotDoesntExist) {        }        version = new Version(tempVersion);    }