Use `getDavinciProperty()`, to work in WAR.

Also, fix some warning.s