Java extensions for stylesheet processing