David Benn - 2020-05-09

This is an ongoing issue, but since we are considering moving away from WebStart support, there may be no need to expend much energy on this one. Thoughts?