public RevisionSyntaxException(String revstr) {this.revstr = revstr;}

public RevisionSyntaxException ( String revstr ) { this . revstr = revstr ; }
public RevisionSyntaxException(string revstr){this.revstr = revstr;}
