module addressbook; behavior MigrateBook { void act(String args[]){ if (args.length != 2) { standardOutput<-println( "Usage: java addressbook.MigrateBook " ); return; } AddressBook book = new AddressBook(); book<-getReferenceByName( args[0] ) @ book<-migrate(args[1]); } }