synchronized vdt-plugin repo Fixed external tools problems, added preference to keep/delete previous problem markers