javaのプラットフォーム非依存性は次のようにして実現されている。