The main release scripts have never particularly supported the eclipse-plugin well. They should be fixed in order to populate the eclipse repo correctly.
This is fixed in the release script.
Hi Beth, Can you help us setting this to verified? Thanks, Alex.