Made modifications to RMIcwk and added the files for dbwk