eclipse-jdt-ui (4.7.3-1) unstable; urgency=medium

  * Initial release (Closes: #912257)

 -- Emmanuel Bourg <ebourg@apache.org>  Mon, 29 Oct 2018 17:58:35 +0100
