You mean we should delete error markers in all cases where we issue a classpath error? I guess that makes sense.