jlahoda [Tue, 17 Jan 2017 07:41:04 +0100] rev 43149
8172262: packages missing from docs build
Summary: Do not return packages without members from Elements.getPackageElement(String), to avoid ambiguities among such packages in multiple modules.
Reviewed-by: jjg