prepare for 0.12-rc4
Merge branch 'master' of github.com:OpenGrok/OpenGrok
prepare for 0.12-rc5
fix ordering (first test then push)