Fixed issue with object casts. Now the method returns an empty array if we recieve...
[phpeclipse.git] / net.sourceforge.phpeclipse.launching / META-INF / MANIFEST.MF
1 Manifest-Version: 1.0
2 Bundle-ManifestVersion: 2
3 Bundle-Name: %Plugin.name
4 Bundle-SymbolicName: net.sourceforge.phpeclipse.launching; singleton:=true
5 Bundle-Version: 0.0.0
6 Bundle-ClassPath: launch.jar
7 Bundle-Activator: net.sourceforge.phpdt.internal.launching.PHPLaunchingPlugin
8 Bundle-Vendor: PHPEclipse project team
9 Bundle-Localization: plugin
10 Export-Package: net.sourceforge.phpdt.internal.launching;x-internal:=true
11 Require-Bundle: org.eclipse.core.runtime,
12  org.eclipse.core.resources,
13  org.eclipse.ui,
14  org.eclipse.debug.core,
15  org.eclipse.jface.text,
16  org.eclipse.ui.workbench.texteditor,
17  net.sourceforge.phpeclipse,
18  net.sourceforge.phpeclipse.debug.core,
19  org.eclipse.debug.ui,
20  net.sourceforge.phpeclipse.ui,
21  org.eclipse.ui.ide
22 Bundle-RequiredExecutionEnvironment: J2SE-1.4
23 Eclipse-LazyStart: true