Update JavaTypeSystem.md