Changes between #6 and #7

#7 (Oct 5, 2021, 6:35:53 PM)

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