I have to upgrade my Eclipse IDE (currently 2019-03). I found the upgrade instructions on the Eclipse wiki, which involve adding the URL for the latest Eclipse release to t
