Examples and exercises of BigJava book