OpenGrok fork used in lxr.php.net