Optimized DBPermissionManager.filterQueryResult()
Merge branch 'master' of http://git.arlut.utexas.edu/ganymede
Fixed a javadoc comment in DBQueryEngine