aosd paper: javassist and josh compiler