A variety of Java stuff