「Java」は昔、「Oak」だった――改名の理由と“幻の改名候補”（関連情報）：「Pepper」だった可能性も