100644 blob 0d172e3caad364994a841d635910041dadf5731c	JavaPlatform.java
100644 blob 97b1c16ec9ddf47eec2750d3f78b751b1f650013	JavaPlatformManager.java
100644 blob 9fed16d1d74aff652894c2335f87dab0da454a12	Profile.java
100644 blob 0c732165667dcbea8757f2833900706e69c4cd65	Specification.java
100644 blob 7ab8a8129079ad48cac000c145b772142e075ded	package.html