Starting with Janurary 2017, JDT banks are also published on the maven central server ( announcement ). See artifacts with groupId org.eclipse.jdt .
Example. For:
<dependency> <groupId>org.eclipse.jdt</groupId> <artifactId>org.eclipse.jdt.ui</artifactId> <version>3.13.51</version> </dependency>
The source tank is in the expected location:
http:
(of course, itβs better to use tools like maven to find and load the source banks)
Jmini source share