100644 blob fcf09b2133e9befa550cd9208222459ab6cee0c0	WorkbenchObservables.java
100644 blob 4ff8239152961646e0202752d8469a67771fd2c0	WorkbenchProperties.java
100644 blob 8f650c1894949ee6d1bcd8dab0a8605d1d2e1b75	package.html