public RevisionSyntaxException(String message, String revstr) {super(message);this.revstr = revstr;}
public RevisionSyntaxException(string message, string revstr) : base(message){this.revstr = revstr;}