Update ReservedThen.java