Updated header of Platform.java