anchor.diff:    'git push origin tag $version'.run;
   }
   
  -void replace(String path, version) {
  +void replace(String path, String version) {
     var tmp = '$path.tmp';
     if (exists(tmp)) {
       delete(tmp);
  
positive.code:       rev = int.parse(parts[2].split("<")[0]);
      }
    });
    rev++;
  
    String version = "$major.$minor.$rev";
  
    replace(join(dir, "pom.xml"), version);
  
  
negative.code:   print(dir);
    read(join(dir, "pom.xml")).forEach((line) {
      if (line.contains("<releaseVersion>")) {
        line = line.replaceFirst("-SNAPSHOT", "");
        var parts = line.split(".");
        if (parts.length != 3) {
          exit(1);
  