112468: fixing a bug in JavaDoc for @PmInject