den ostindiska ön Java.