fixed a very random error. If a source had an old label that a old robot version picked up, then the users removed that label from the source. And if in addition the image was verified after it was automatically labeled with the old label.  That image could be in a limbo, where it was never re-classified by a new robot, but where it had an outdated labelset in the classification probabilities file, which caused an error
fixed a very random error. If a source had an old label that a old robot version picked up, then the users removed that label from the source. And if in addition the image was verified after it was automatically labeled with the old label.  That image could be in a limbo, where it was never re-classified by a new robot, but where it had an outdated labelset in the classification probabilities file, which caused an error

DevangS/CoralNet,DevangS/CoralNet,DevangS/CoralNet,DevangS/CoralNet,DevangS/CoralNet,DevangS/CoralNet,DevangS/CoralNet