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 String toString() { 011 return signature; 012 } 013 }