From 7cc0d20f3fa0198f454f0cfc5fb02809f5f94fe3 Mon Sep 17 00:00:00 2001
From: Vladimir Krivosheev <vladimir.krivosheev@jetbrains.com>
Date: Sun, 8 Sep 2013 21:59:39 +0200
Subject: [PATCH] schedule commit&push

---
 .../src/com/intellij/util/SingleAlarm.java             | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/platform/platform-impl/src/com/intellij/util/SingleAlarm.java b/platform/platform-impl/src/com/intellij/util/SingleAlarm.java
index 899b8d1710b4..57aaaade843f 100644
--- a/platform/platform-impl/src/com/intellij/util/SingleAlarm.java
+++ b/platform/platform-impl/src/com/intellij/util/SingleAlarm.java
@@ -16,12 +16,20 @@
 package com.intellij.util;
 
 import com.intellij.openapi.application.ModalityState;
+import org.jetbrains.annotations.NotNull;
 
 public class SingleAlarm extends Alarm {
   private final Runnable task;
   private final int delay;
 
-  public SingleAlarm(Runnable task, int delay) {
+  public SingleAlarm(@NotNull Runnable task, int delay) {
+    this.task = task;
+    this.delay = delay;
+  }
+
+  public SingleAlarm(@NotNull Runnable task, int delay, @NotNull ThreadToUse threadToUse) {
+    super(threadToUse);
+
     this.task = task;
     this.delay = delay;
   }