Revert "Update edinburgh/src/edinburgh/Edinburgh.java"

This reverts commit a759a8f8350ea98f2e153eaff611b571173979ce.
Revert "Revert "Update edinburgh/src/edinburgh/Edinburgh.java""

This reverts commit 757c0250330e166e443920eefe8adb64612022b6.