gistfile1.java

/** @@pat.transaction */
public void removeBook(Book book, DateRepresentation removalDate)
{
    books.remove(book);
    removedBooks.put(book.getId(), book);
    book.setRemovalDate(removalDate);
    ...
}