Fix refresh info.

Normand Briere

2019-06-17 13e9febe94aaeebad9c97f6d3e2aa4d73b2495c8

 Vertex.java
..
..
@@ -122,7 +122,7 @@
122
122
 
123
123
     public boolean equals(Object o)
124
124
     {
125
-            assert(norm.normalized());
125
+    // JUNE 2019. norm can be null (e.g. Box)           Grafreed.Assert(norm.normalized());
126
126
         //if (true) return false;
127
127
 
128
128
         Vertex vert = (Vertex) o;