From 1b9455cf11eee680a431ccfb247c5e4d8a5d116f Mon Sep 17 00:00:00 2001
From: Anton Makeev <Anton.Makeev@jetbrains.com>
Date: Thu, 2 Jul 2015 16:22:20 +0200
Subject: [PATCH] Ref.deref convenience method

---
 platform/util/src/com/intellij/openapi/util/Ref.java | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/platform/util/src/com/intellij/openapi/util/Ref.java b/platform/util/src/com/intellij/openapi/util/Ref.java
index 0119c5626bf7..a282abae3163 100644
--- a/platform/util/src/com/intellij/openapi/util/Ref.java
+++ b/platform/util/src/com/intellij/openapi/util/Ref.java
@@ -59,6 +59,11 @@ public class Ref<T> {
     return new Ref<T>(value);
   }
 
+  @Nullable
+  public static <T> T deref(@Nullable Ref<T> ref) {
+    return ref == null ? null : ref.get();
+  } 
+
   @Override
   public String toString() {
     return String.valueOf(myValue);