Vanderstraaten, Vincent William, Acting Registrar of the Supreme Court of Judicature, Ceylon