For the CS Java Programming Sequence