The original proposal for adding the Diamond Operator to the Java language was made in February 2009 and includes this simple example: For example, consider the following assignment statement: ...

The Java Verified Program grew out of the Unified Testing Initiative, launched at JavaOne in 2003 by Sun and mobile phone vendors Nokia Corp., Motorola Inc., Sony Ericsson Mobile Communications AB ...