Added a new Java example, Pointsto.java