Updated and fixed editLocation. Updated JML for it