abbrevs
jdk1.7.0_45