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