Las extensiones de Java están en paquetes que cuelgan de la raíz javax: codice_51.