Java corrections