# HG changeset patch
# User Andreas Woess <andreas.woess@jku.at>
# Date 1393844656 -3600
# Node ID 0b3960586b48c53f90a92be13ada633526bf4dd5
# Parent  3bd2ad96f162e3339bf04ae002e1eb60de823ca4
IGV: fix NPE

diff -r 3bd2ad96f162 -r 0b3960586b48 src/share/tools/IdealGraphVisualizer/Data/src/com/sun/hotspot/igv/data/Properties.java
--- a/src/share/tools/IdealGraphVisualizer/Data/src/com/sun/hotspot/igv/data/Properties.java	Mon Mar 03 10:12:02 2014 +0100
+++ b/src/share/tools/IdealGraphVisualizer/Data/src/com/sun/hotspot/igv/data/Properties.java	Mon Mar 03 12:04:16 2014 +0100
@@ -320,7 +320,7 @@
     }
 
     public void setProperty(String name, String value) {
-        setPropertyInternal(name.intern(), value.intern());
+        setPropertyInternal(name.intern(), value != null ? value.intern() : null);
     }
     private void setPropertyInternal(String name, String value) {