OpenGrok/OpenGrok — pull request #657 by vladak (2013-08-08 15:01:55+00:00)
Title: introduce OPENGROK_DERBY_URL for selecting JavaDB instance

fixes #656