not sure by what system we sometimes capitalize Java and sometimes don't