100644 blob 9931011a28c9afa1b6b14eb24eb46a2cb861fca1	PreferenceConstants.java
100644 blob 3f93a1ca2781a316cd70da540a4fa985e44a8d88	PreferenceInitializer.java
100644 blob 9ff70d80eee56876c4f2b460bb39788fc5194cda	VirgoPreferencePage.java