From de7fd88373e94aff9d4146ec1862539f5578f532 Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Mon, 13 May 2013 17:42:56 +0400
Subject: [PATCH] Warn about using only the first instrumenter

---
 .../src/org/jetbrains/jet/preloading/Preloader.java         | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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<Instrumenter> loader = ServiceLoader.load(Instrumenter.class, withInstrumenter);
         Iterator<Instrumenter> 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");