if (e == null) return; OPT_LinkedListElement End = end; if (End != null) { End.insertAfter(e); } else {
if (e == null) return; if (end != null) { end.insertAfter(e); } else { if (VM.VerifyAssertions) VM._assert(start == null);
  final public void append(OPT_LinkedListElement e) {    if (e == null)      return;    OPT_LinkedListElement End = end;    if (End != null) {      End.insertAfter(e);    }     else {      // empty list      start = e;    }    end = e;  }