[Bug 9335] Optimize checking for duplicate problem markers on the same resource + remove sleep and instead ensure unique creation time using internal platform apis
bin.includes = .,\
META-INF/,\
icons/,\
plugin.xml,\
html/,\
Tools/,\
tocCodeScanner.xml,\
book.css,\
CodeScannerPlugin.jar,\
index/
jars.compile.order = CodeScannerPlugin.jar
source.CodeScannerPlugin.jar = src/
output.CodeScannerPlugin.jar = bin/