~ fixed bug in manifest
~ fixed refresh problem of the TreeViewer
~ further support of adding JDT resources