A problem with the first boot of Shibboleth IdP 2.4.0

[Peter Schober]

* Marco Malavolti <marco.malavolti at garr.it> [2013-06-15 14:46]:
> Thanks for all your answer, but you do not find it strange that, if
> I manually restart Tomcat, my "IdP" works correctly

I'd go with Ex falso quodlibet,
-peter