Bug 17001 JUnit preference page margins too wide
Build: 20020521 The left, right, top and bottom margins on the JUnit preference page are too wide. They are inconsistent with the other preference pages. Adding the following lines in JUnitPreferencePage.createContents(Composite) will fix this problem: layout.marginWidth = 0; layout.marginHeight = 0;
org.eclipse.jdt.junit/src/org/eclipse/jdt/internal/junit/ui/JUnitPreferencePage.java
int count= store.getInt(STACK_FILTER_ENTRIES_COUNT);
		String[] result= new String[count];
		for (int i= 0; i < count; i++) {
			result[i]= store.getString(STACK_FILTER_ENTRY_ + i);
		}
		return result;
	}
	
	public static boolean getFilterStack() {
		IPreferenceStore store= JUnitPlugin.getDefault().getPreferenceStore();
		return store.getBoolean(DO_FILTER_STACK);
	}
	
	public static void setFilterStack(boolean filter) {
		IPreferenceStore store= JUnitPlugin.getDefault().getPreferenceStore();
		store.setValue(DO_FILTER_STACK, filter);
	}
	
	public static void initializeDefaults(IPreferenceStore store) {
		store.setDefault(JUnitPreferencePage.DO_FILTER_STACK, true); 
		store.setDefault(JUnitPreferencePage.SHOW_ON_ERROR_ONLY, false); 
		int count= store.getInt(STACK_FILTER_ENTRIES_COUNT);
		if (count == 0) {
			store.setValue(STACK_FILTER_ENTRIES_COUNT, fgDefaultFilterPatterns.length);
			for (int i= 0; i < fgDefaultFilterPatterns.length; i++) {
				store.setValue(STACK_FILTER_ENTRY_ + i, fgDefaultFilterPatterns[i]);
			}
		}
	}