100644 blob da2186a602010847d102f1e4657eb3e20c3e7973	TaskingConsoleConfig.java
100644 blob 77b284d69349e7bc4b3a7352943c8e68e8443cc0	TaskingEclipsePreferenceStore.java
100644 blob ac0df75dcc68c32b8d061b231e34e36020335d23	TaskingPreferenceInitializer.java
100644 blob 3691478d2259d1d36b6ecf34b27fc5772d6829ec	TaskingPreferencePage.java