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

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