Ronan O Hora, Royal Philharmonic Orchestra, James Judd