Toko Batavia is an Indonesian restaurant.