plugins/org.eclipse.jem.workbench/build.properties - jeetools/webtools.javaee - Git at Google

 source.workbench.jar = workbench/
 bin.includes = plugin.xml,\
                plugin.properties,\
                workbench.jar,\
                about.html
 src.includes = about.html
	source.workbench.jar = workbench/
	bin.includes = plugin.xml,\
	plugin.properties,\
	workbench.jar,\
	about.html
	src.includes = about.html