I don’t like many things about java but here are just a few that I do like:

• Type int is 32 bits, etc.
• It is moderately fast and type safe.
• It specifies two’s complement arithmetic.
• It supports static synergy.
• It lacks a preprocessor.
• It has a powerful easily available library.

I object to the following:

• The stack introspection security idea is bad; I can’t call someone with less authority.
• The lock mechanism is entirely unsuitable for that the Keykos kernel uses locks for: to avoid alias problems.
• There is no type for what an ML language would call int → int.
• The library documentation describes the methods for a class but not the abstract state of an object of that class.