Update edinburgh/src/edinburgh/Edinburgh.java