Use Java-port of LevelDB for all examples

- closes #110