[81] | 1 | <?xml version="1.0" encoding="UTF-8"?>
|
---|
| 2 | <?pde version="3.5"?>
|
---|
| 3 |
|
---|
| 4 | <product name="BNFTools" id="de.ugoe.cs.swe.bnftools.ebnf.product.product" application="org.eclipse.ui.ide.workbench" useFeatures="false" includeLaunchers="true">
|
---|
| 5 |
|
---|
| 6 | <configIni use="default">
|
---|
| 7 | </configIni>
|
---|
| 8 |
|
---|
| 9 | <launcherArgs>
|
---|
| 10 | <vmArgsMac>-XstartOnFirstThread -Dorg.eclipse.swt.internal.carbon.smallFonts</vmArgsMac>
|
---|
| 11 | </launcherArgs>
|
---|
| 12 |
|
---|
| 13 | <launcher name="BNF">
|
---|
| 14 | <solaris/>
|
---|
| 15 | <win useIco="false">
|
---|
| 16 | <bmp/>
|
---|
| 17 | </win>
|
---|
| 18 | </launcher>
|
---|
| 19 |
|
---|
| 20 | <vm>
|
---|
| 21 | </vm>
|
---|
| 22 |
|
---|
| 23 | <plugins>
|
---|
| 24 | <plugin id="com.google.guava"/>
|
---|
| 25 | <plugin id="com.google.inject"/>
|
---|
| 26 | <plugin id="com.ibm.icu"/>
|
---|
| 27 | <plugin id="de.ugoe.cs.swe.bnftools.ebnf"/>
|
---|
| 28 | <plugin id="de.ugoe.cs.swe.bnftools.ebnf.product"/>
|
---|
| 29 | <plugin id="de.ugoe.cs.swe.bnftools.ebnf.tests"/>
|
---|
| 30 | <plugin id="de.ugoe.cs.swe.bnftools.ebnf.ui"/>
|
---|
| 31 | <plugin id="javax.annotation"/>
|
---|
| 32 | <plugin id="javax.inject"/>
|
---|
| 33 | <plugin id="javax.xml"/>
|
---|
| 34 | <plugin id="org.antlr.runtime"/>
|
---|
| 35 | <plugin id="org.apache.batik.css"/>
|
---|
| 36 | <plugin id="org.apache.batik.util"/>
|
---|
| 37 | <plugin id="org.apache.batik.util.gui"/>
|
---|
| 38 | <plugin id="org.apache.commons.lang"/>
|
---|
| 39 | <plugin id="org.apache.commons.logging"/>
|
---|
| 40 | <plugin id="org.apache.log4j"/>
|
---|
| 41 | <plugin id="org.eclipse.compare"/>
|
---|
| 42 | <plugin id="org.eclipse.compare.core"/>
|
---|
| 43 | <plugin id="org.eclipse.core.commands"/>
|
---|
| 44 | <plugin id="org.eclipse.core.contenttype"/>
|
---|
| 45 | <plugin id="org.eclipse.core.databinding"/>
|
---|
| 46 | <plugin id="org.eclipse.core.databinding.observable"/>
|
---|
| 47 | <plugin id="org.eclipse.core.databinding.property"/>
|
---|
| 48 | <plugin id="org.eclipse.core.expressions"/>
|
---|
| 49 | <plugin id="org.eclipse.core.filebuffers"/>
|
---|
| 50 | <plugin id="org.eclipse.core.filesystem"/>
|
---|
| 51 | <plugin id="org.eclipse.core.filesystem.win32.x86_64" fragment="true"/>
|
---|
| 52 | <plugin id="org.eclipse.core.jobs"/>
|
---|
| 53 | <plugin id="org.eclipse.core.net"/>
|
---|
| 54 | <plugin id="org.eclipse.core.net.win32.x86_64" fragment="true"/>
|
---|
| 55 | <plugin id="org.eclipse.core.resources"/>
|
---|
| 56 | <plugin id="org.eclipse.core.resources.win32.x86_64" fragment="true"/>
|
---|
| 57 | <plugin id="org.eclipse.core.runtime"/>
|
---|
| 58 | <plugin id="org.eclipse.core.runtime.compatibility.registry" fragment="true"/>
|
---|
| 59 | <plugin id="org.eclipse.core.variables"/>
|
---|
| 60 | <plugin id="org.eclipse.debug.core"/>
|
---|
| 61 | <plugin id="org.eclipse.debug.ui"/>
|
---|
| 62 | <plugin id="org.eclipse.e4.core.commands"/>
|
---|
| 63 | <plugin id="org.eclipse.e4.core.contexts"/>
|
---|
| 64 | <plugin id="org.eclipse.e4.core.di"/>
|
---|
| 65 | <plugin id="org.eclipse.e4.core.di.extensions"/>
|
---|
| 66 | <plugin id="org.eclipse.e4.core.services"/>
|
---|
| 67 | <plugin id="org.eclipse.e4.ui.bindings"/>
|
---|
| 68 | <plugin id="org.eclipse.e4.ui.css.core"/>
|
---|
| 69 | <plugin id="org.eclipse.e4.ui.css.swt"/>
|
---|
| 70 | <plugin id="org.eclipse.e4.ui.css.swt.theme"/>
|
---|
| 71 | <plugin id="org.eclipse.e4.ui.di"/>
|
---|
| 72 | <plugin id="org.eclipse.e4.ui.model.workbench"/>
|
---|
| 73 | <plugin id="org.eclipse.e4.ui.services"/>
|
---|
| 74 | <plugin id="org.eclipse.e4.ui.widgets"/>
|
---|
| 75 | <plugin id="org.eclipse.e4.ui.workbench"/>
|
---|
| 76 | <plugin id="org.eclipse.e4.ui.workbench.addons.swt"/>
|
---|
| 77 | <plugin id="org.eclipse.e4.ui.workbench.renderers.swt"/>
|
---|
| 78 | <plugin id="org.eclipse.e4.ui.workbench.swt"/>
|
---|
| 79 | <plugin id="org.eclipse.e4.ui.workbench3"/>
|
---|
| 80 | <plugin id="org.eclipse.emf.common"/>
|
---|
| 81 | <plugin id="org.eclipse.emf.common.ui"/>
|
---|
| 82 | <plugin id="org.eclipse.emf.ecore"/>
|
---|
| 83 | <plugin id="org.eclipse.emf.ecore.change"/>
|
---|
| 84 | <plugin id="org.eclipse.emf.ecore.xmi"/>
|
---|
| 85 | <plugin id="org.eclipse.emf.edit"/>
|
---|
| 86 | <plugin id="org.eclipse.emf.edit.ui"/>
|
---|
| 87 | <plugin id="org.eclipse.equinox.app"/>
|
---|
| 88 | <plugin id="org.eclipse.equinox.bidi"/>
|
---|
| 89 | <plugin id="org.eclipse.equinox.common"/>
|
---|
| 90 | <plugin id="org.eclipse.equinox.ds"/>
|
---|
| 91 | <plugin id="org.eclipse.equinox.event"/>
|
---|
| 92 | <plugin id="org.eclipse.equinox.p2.core"/>
|
---|
| 93 | <plugin id="org.eclipse.equinox.p2.engine"/>
|
---|
| 94 | <plugin id="org.eclipse.equinox.p2.metadata"/>
|
---|
| 95 | <plugin id="org.eclipse.equinox.p2.metadata.repository"/>
|
---|
| 96 | <plugin id="org.eclipse.equinox.p2.repository"/>
|
---|
| 97 | <plugin id="org.eclipse.equinox.preferences"/>
|
---|
| 98 | <plugin id="org.eclipse.equinox.registry"/>
|
---|
| 99 | <plugin id="org.eclipse.equinox.security"/>
|
---|
| 100 | <plugin id="org.eclipse.equinox.security.win32.x86_64" fragment="true"/>
|
---|
| 101 | <plugin id="org.eclipse.equinox.util"/>
|
---|
| 102 | <plugin id="org.eclipse.help"/>
|
---|
| 103 | <plugin id="org.eclipse.jdt.compiler.apt" fragment="true"/>
|
---|
| 104 | <plugin id="org.eclipse.jdt.compiler.tool" fragment="true"/>
|
---|
| 105 | <plugin id="org.eclipse.jdt.core"/>
|
---|
| 106 | <plugin id="org.eclipse.jdt.core.manipulation"/>
|
---|
| 107 | <plugin id="org.eclipse.jdt.debug"/>
|
---|
| 108 | <plugin id="org.eclipse.jdt.launching"/>
|
---|
| 109 | <plugin id="org.eclipse.jdt.ui"/>
|
---|
| 110 | <plugin id="org.eclipse.jface"/>
|
---|
| 111 | <plugin id="org.eclipse.jface.databinding"/>
|
---|
| 112 | <plugin id="org.eclipse.jface.text"/>
|
---|
| 113 | <plugin id="org.eclipse.ltk.core.refactoring"/>
|
---|
| 114 | <plugin id="org.eclipse.ltk.ui.refactoring"/>
|
---|
| 115 | <plugin id="org.eclipse.osgi"/>
|
---|
| 116 | <plugin id="org.eclipse.osgi.services"/>
|
---|
| 117 | <plugin id="org.eclipse.search"/>
|
---|
| 118 | <plugin id="org.eclipse.swt"/>
|
---|
| 119 | <plugin id="org.eclipse.swt.win32.win32.x86_64" fragment="true"/>
|
---|
| 120 | <plugin id="org.eclipse.team.core"/>
|
---|
| 121 | <plugin id="org.eclipse.team.ui"/>
|
---|
| 122 | <plugin id="org.eclipse.text"/>
|
---|
| 123 | <plugin id="org.eclipse.ui"/>
|
---|
| 124 | <plugin id="org.eclipse.ui.console"/>
|
---|
| 125 | <plugin id="org.eclipse.ui.editors"/>
|
---|
| 126 | <plugin id="org.eclipse.ui.forms"/>
|
---|
| 127 | <plugin id="org.eclipse.ui.ide"/>
|
---|
| 128 | <plugin id="org.eclipse.ui.ide.application"/>
|
---|
| 129 | <plugin id="org.eclipse.ui.navigator"/>
|
---|
| 130 | <plugin id="org.eclipse.ui.navigator.resources"/>
|
---|
| 131 | <plugin id="org.eclipse.ui.views"/>
|
---|
| 132 | <plugin id="org.eclipse.ui.views.properties.tabbed"/>
|
---|
| 133 | <plugin id="org.eclipse.ui.win32" fragment="true"/>
|
---|
| 134 | <plugin id="org.eclipse.ui.workbench"/>
|
---|
| 135 | <plugin id="org.eclipse.ui.workbench.texteditor"/>
|
---|
| 136 | <plugin id="org.eclipse.xtend.lib"/>
|
---|
| 137 | <plugin id="org.eclipse.xtext"/>
|
---|
| 138 | <plugin id="org.eclipse.xtext.builder"/>
|
---|
| 139 | <plugin id="org.eclipse.xtext.common.types"/>
|
---|
| 140 | <plugin id="org.eclipse.xtext.common.types.ui"/>
|
---|
| 141 | <plugin id="org.eclipse.xtext.junit4"/>
|
---|
| 142 | <plugin id="org.eclipse.xtext.logging" fragment="true"/>
|
---|
| 143 | <plugin id="org.eclipse.xtext.ui"/>
|
---|
| 144 | <plugin id="org.eclipse.xtext.ui.codetemplates"/>
|
---|
| 145 | <plugin id="org.eclipse.xtext.ui.codetemplates.ui"/>
|
---|
| 146 | <plugin id="org.eclipse.xtext.ui.shared"/>
|
---|
| 147 | <plugin id="org.eclipse.xtext.util"/>
|
---|
| 148 | <plugin id="org.eclipse.xtext.xbase"/>
|
---|
| 149 | <plugin id="org.eclipse.xtext.xbase.lib"/>
|
---|
| 150 | <plugin id="org.hamcrest.core"/>
|
---|
| 151 | <plugin id="org.junit"/>
|
---|
| 152 | <plugin id="org.objectweb.asm"/>
|
---|
| 153 | <plugin id="org.w3c.css.sac"/>
|
---|
| 154 | <plugin id="org.w3c.dom.smil"/>
|
---|
| 155 | <plugin id="org.w3c.dom.svg"/>
|
---|
| 156 | </plugins>
|
---|
| 157 |
|
---|
| 158 |
|
---|
| 159 | </product>
|
---|