Source code for jdk1.7.0_45.