From 26763306490104f5881be96ab7b29be2eba86161 Mon Sep 17 00:00:00 2001
From: Dmitry Trofimov <dmitry.trofimov@jetbrains.com>
Date: Sat, 19 Apr 2014 20:54:34 -0400
Subject: [PATCH] Save vagrant executable path to application settings
 (PY-12680).

---
 .../platform-impl/src/com/intellij/remote/VagrantSupport.java   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform/platform-impl/src/com/intellij/remote/VagrantSupport.java b/platform/platform-impl/src/com/intellij/remote/VagrantSupport.java
index a1b0f88c0578..574f0b56a45f 100644
--- a/platform/platform-impl/src/com/intellij/remote/VagrantSupport.java
+++ b/platform/platform-impl/src/com/intellij/remote/VagrantSupport.java
@@ -40,7 +40,7 @@ public abstract class VagrantSupport {
   public abstract Pair<String, RemoteCredentials> getVagrantSettings(Project project);
 
   @NotNull
-  public abstract RemoteCredentials getVagrantSettings(Project project, String vagrantFolder);
+  public abstract RemoteCredentials getVagrantSettings(@NotNull Project project, String vagrantFolder);
 
   @NotNull
   public abstract RemoteCredentials getCredentials(@NotNull String folder) throws IOException;