| bin.includes = plugin.xml,\ | |
| *.jar | |
| build.includes = .options,\ | |
| plugin.jars,\ | |
| plugin.xml,\ | |
| jdi.jar,\ | |
| build.properties | |
| build.vaj.Eclipse\ Java\ Core\ Debug = Eclipse Java Core Debug | |
| source.jdimodel.jar = Eclipse Java Core Debug,\ | |
| Eclipse JDI | |
| build.vaj.Eclipse\ JDI = Eclipse JDI |