Some Java-Doc entries corrected.