diff --git a/compiler/preloader/src/org/jetbrains/jet/preloading/Preloader.java b/compiler/preloader/src/org/jetbrains/jet/preloading/Preloader.java index 4987a8c0651..9de51c713f8 100644 --- a/compiler/preloader/src/org/jetbrains/jet/preloading/Preloader.java +++ b/compiler/preloader/src/org/jetbrains/jet/preloading/Preloader.java @@ -133,7 +133,11 @@ public class Preloader { ServiceLoader loader = ServiceLoader.load(Instrumenter.class, withInstrumenter); Iterator instrumenters = loader.iterator(); if (instrumenters.hasNext()) { - return instrumenters.next(); + Instrumenter instrumenter = instrumenters.next(); + if (instrumenters.hasNext()) { + System.err.println("PRELOADER WARNING: Only the first instrumenter is used: " + instrumenter.getClass()); + } + return instrumenter; } else { System.err.println("PRELOADER WARNING: No instrumenters found");