[Exist-development] Tomcat realm - build by default?

[Joe W. <jo...@gm...>]

Hi all,

I noticed that the Tomcat extension seems to be turned on by default.
At least for me, when I build trunk, I get a
lib/extensions/exist-tomcat-realm.jar when the build is complete.
It's probably harmless, but shouldn't extensions be controlled by
extensions/local.build.properties?

Joe