Some Java programs