The Java Mascot (DUKE)