tree 0c0637f504af4f5f66cff8eac6bf0a9d8e32295b
parent a9afb39aa52b233c672c65a6cd3e2895cc88d698
author Alex Fandrianto <alexfandrianto@google.com> 1467394787 -0700
committer Alex Fandrianto <alexfandrianto@google.com> 1467394838 -0700

java/syncbase: Add default options for runInBatch

We missed one of these. The rest of the options all have a default
version that doesn't require the options parameter.

Closes https://github.com/vanadium/issues/issues/1377

Change-Id: I9024dd2cbb053107e8a284f6774aa80760dc1792