File:Mantis Scratch Remover from JML