org.eclipse.ui.editors/build.properties

source.editors.jar = src/,\
                     extensions/
bin.includes = *.jar,\
               plugin.xml,\
               plugin.properties