001    package escjava.prover;
002    
003    public class Signature {
004      private String signature;
005    
006      Signature(String signature) {
007        this.signature = signature;
008      }
009    
010      public /*@non_null*/String toString() {
011        return signature;
012      }
013    }