616617618619620621622623624
* @return the introduction registry. * @since 3.0 */ public IIntroRegistry getIntroRegistry() { if (introRegistry == null) { introRegistry = new IntroRegistry(); } return introRegistry; }