メディアプレーヤー「RealPlayer(リアルプレーヤー)」

https://ja.wikipedia.org/wiki/RealPlayer

をアップデートした。