The plugin_jpf.xml file (JPF)

gistfile1.xml

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plugin PUBLIC "-//JPF//Java Plug-in Manifest 0.6"
"http://jpf.sourceforge.net/plugin_0_6.dtd">
<plugin id="simphony.gui.client" version="">

<attributes>
<attribute id="simphony" value="1.2.0" />
</attributes>

<requires>
<import plugin-id="simphony.agent" reverse-lookup="true"/>
</requires>

<runtime>
<library id="simphony.gui.client.bin" path="bin/" type="code">
<export prefix="*" />
</library>
</runtime>
</plugin>