prolongCopyFn.java

/** @@pat.transaction */
public void prolongCopy(Copy copy, DateRepresentation newReturnDate)
{
    copy.returnDate = newReturnDate;
}

public Copy getCopyById(Long id) {
    return (Copy) copies.get(id);     //copies is java.util.Map
}