Update the Using Eclipse document for the 2019.3 release

Note: Eclipse often has a different version number than the rest of DevTools (often one release ahead of the current DevTools release).

Make sure that we use the correct version information for Eclipse.