cache manager now uses a single connection for all cache tables
Merge branch 'master' into devel
added dynamic adaptation of worker pool sizes
JDBCInterceptors cannot be set by users anymore
changed cache table management to also support local temporary databases
changed cache table management to also support local temporary databases
adapted .classpath
minor change to CacheManager
added cache preferences
minor change to DBSurfaceGeometry.java
switched back to PostgreSQL 9.1 JDBC drivers; the 9.3 drivers are considerably slower
made sure cache table names are unique