Andreas Huber f78f69328b add cache for docId to Doc mapping ...

A Doc does not change once it is created, so it is easy to cache.
Speedup was from 1ms per Doc to 3ms for 444 Docs (0.00675ms/Doc).

2018-11-22 19:51:07 +01:00

..

src

add cache for docId to Doc mapping

2018-11-22 19:51:07 +01:00

.gitignore

new file format

2016-12-27 10:24:56 +01:00

build.gradle

update java 3rd-party libs

2018-11-20 19:13:59 +01:00