Hashtable book = new Hashtable(); 

class entry{ 
   String vorname; 
   String nachname; 
   int nummer; 
   /*@   requires vn!=null && nn != null; 
     @ ensures (vorname!=null && nachname!=null); 
     @*/ 
   entry(String vn, String nn, int tn) { 
      this.vorname = vn; 
      this.nachname = nn; 
      this.nummer = tn; 
   } 
} 

   public static void insert(String fName, String lName, int telNr)throws Exception{ 
      entry test = new entry(fName,lName,telNr); 
         if (this.book.contains(test) 
            throw new Exception("Eintrag existiert bereits"); 
         else 
            this.book.put(test.vorname+test.nachname, test);          
   } 
      try{ 
         Telefonbuch.insert("Michi","Haun", 12345); 
         } 
         catch(Exception e){ 
            e.printStackTrace(); 
         } 
       
      try{ 
         Telefonbuch.insert("patrick","schreiner", 567345); 
         } 
         catch(Exception e){ 
            e.printStackTrace(); 
         }