Searched refs:jreDoc (Results 1 – 2 of 2) sorted by relevance
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.pde.ui/apitools/org.eclipse.pde.api.tools.generator/profiles/ |
| H A D | configuration.properties | 39 #JRE-1.1.jreDoc=
48 #J2SE-1.2.jreDoc=
57 #J2SE-1.3.jreDoc=
66 #J2SE-1.4.jreDoc=
75 #J2SE-1.5.jreDoc=
84 #JavaSE-1.6.jreDoc=
93 #JavaSE-1.7.jreDoc=
102 #JavaSE-1.8.jreDoc=
111 #JavaSE-9.jreDoc=
138 #OSGi_Minimum-1.0.jreDoc=
[all …]
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.pde.ui/apitools/org.eclipse.pde.api.tools.generator/src/org/eclipse/pde/api/tools/generator/ |
| H A D | EEGenerator.java | 439 …rofileInfo(String profileName, String jreLib, String osgiProfile, String jreDoc, String jreURL, St… in getProfileInfo() argument
440 …ProfileInfo info = new ProfileInfo(profileName, jreLib, osgiProfile, jreDoc, jreURL, docRoot, cach… in getProfileInfo()
508 …private ProfileInfo(String profilename, String jreLib, String osgiProfile, String jreDoc, String j… in ProfileInfo() argument
509 this.JREdoc = jreDoc; in ProfileInfo()
|