compiled for JRE 1.6