Intermediate Java codes