Changes

#15 (Feb 24, 2022, 5:37:27 PM)

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

#5 (Jun 18, 2021, 2:13:03 PM)

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