Merge remote branch 'origin/master'

bootstrap.xml

@@ -10,6 +10,7 @@
     <echoprop prop="os.version"/>
     <echoprop prop="os.arch"/>
     <echoprop prop="java.home"/>
+    <echoprop prop="java.vendor"/>
     <echoprop prop="java.version"/>
     <echoprop prop="user.name"/>
     <echoprop prop="user.home"/>

compiler/frontend/src/org/jetbrains/jet/resolve/DescriptorRenderer.java

@@ -73,8 +73,8 @@ public class DescriptorRenderer implements Renderer {
     }
 
     public String renderType(JetType type) {
-        if (type != null) {
+        if (type == null) {
-            return escape("<?>");
+            return escape("[NULL]");
         } else {
             return escape(type.toString());
         }