Fixed Derric and 2Java case studies.