javadoc for Reservation