plugins/org.eclipse.jst.servlet.ui/build.properties

source.servletui.jar = servlet_ui/,\
                       property_files/
output.servletui.jar = bin/
bin.includes = plugin.xml,\
               servletui.jar,\
               plugin.properties,\
               icons/
src.includes = plugin.xml,\
               plugin.properties