Java extensions