The distinction between JavaPlatform and Java is unclear anyway