Disabling default Jackrabbit users

[Vidar Ramdal <vi...@idium.no>]

I have implemented my own AccessManagerPlugin and LoginModulePlugin,
and provide my own Authorizable objects.
Now I'd like to disable the default Jackrabbit users (admin and
anonymous) altogether, so that it would be impossible to login with
them.

The easiest way I've found so far, seems to be to delete them (the
admin user, at least) through the User Manager servlets, but then this
has to be done each time we roll our application out on a server.

So, what would be the easiest way to disable the default Jackrabbit users?

-- 
Vidar S. Ramdal <vi...@idium.no> - http://www.idium.no
Sommerrogata 13-15, N-0255 Oslo, Norway
+ 47 22 00 84 00 / +47 21 531941, ext 2070