utbredning och sträckte sig ej allenast längs Javas kust.