Java API 9.5