— Batavia ( Java ) b.