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
parent 6c546bd5b3
commit f78f69328b
6 changed files with 158 additions and 17 deletions
--- a/pdb-utils/build.gradle
+++ b/pdb-utils/build.gradle
@@ -1,4 +1,4 @@

 dependencies {
-	
+	compile lib_guava
 }