Fix Javadocs in Mantle.java

We have different handlers, not three preinit handlers!