Changes between #560 and #566

#566 (Feb 14, 2022, 8:28:35 PM)

  1. Fix for https://bugs.eclipse.org/bugs/show_bug.cgi?id=578678 — Scott Lewis / detail