Changed name of servlet in case we want to do more than "initialize" logging with...
[java-idp.git] / src /
drwxr-xr-x   ..
drwxr-xr-x - edu
drwxr-xr-x - schemas