gunite mass to repair the lining of the walls of coke ovens