@@ -76,10 +76,11 @@ private int m_z; // For field references public class Referencer { Referencer next = null; + @SuppressWarnings("initialization") Referencer() { this.next = null; } void append(Referencer r) { this.next = r;