Fault Index	File Name	Line No.	Original Code	Mutated Code
1	ChangeFontDialog.java	126	if(size <= 0) { size = 12; }	if(size == 0) { size = 12; }
2	ChangeFontDialog.java	126	if(size <= 0) { size = 12; }	if(size >= 0) { size = 12; }
3	ChangeFontDialog.java	133	if (size <= 0) { size = 12; }	if(size == 0) { size = 12; }
4	ChangeFontDialog.java	133	if (size <= 0) { size = 12; }	if(size >= 0) { size = 12; }
5	ChangeFontDialog.java	126	if(size <= 0) { size = 12; }	if(size <= 0) { size = 20; }
6	OpenList.java	62	if (obj != null)	if (obj == null)
7	OpenList.java	69	for (int k=0; k<model.getSize(); k++) {	for (int k=10; k<model.getSize(); k++) {
8	OpenList.java	88	int h = d1.height + d2.height + d3.height;	int h = d1.height - d2.height + d3.height;
9	OpenList.java	88	int h = d1.height + d2.height + d3.height;	int h = d1.height + d2.height - d3.height;
10	OpenList.java	111	return new Dimension(w+ins.left+ins.right,	return new Dimension(w-ins.left+ins.right,
11	OpenList.java	111	return new Dimension(w+ins.left+ins.right,	return new Dimension(w+ins.left-ins.right,
12	OpenList.java	112	h+ins.top+ins.bottom);	h-ins.top+ins.bottom);
13	OpenList.java	112	h+ins.top+ins.bottom);	h+ins.top-ins.bottom);
14	OpenList.java	99	int h = d1.height + d2.height + d3.height;	int h = d1.height - d2.height + d3.height;
15	OpenList.java	99	int h = d1.height + d2.height + d3.height;	int h = d1.height + d2.height - d3.height;
16	OpenList.java	89	return new Dimension(w+ins.left+ins.right,	return new Dimension(w-ins.left+ins.right,
17	OpenList.java	89	return new Dimension(w+ins.left+ins.right,	return new Dimension(w+ins.left-ins.right,
18	OpenList.java	90	h+ins.top+ins.bottom);	h-ins.top+ins.bottom);
19	OpenList.java	90	h+ins.top+ins.bottom);	h+ins.top-ins.bottom);
20	OpenList.java	100	return new Dimension(w+ins.left+ins.right,	return new Dimension(w-ins.left+ins.right,
21	OpenList.java	100	return new Dimension(w+ins.left+ins.right,	return new Dimension(w+ins.left-ins.right,
22	OpenList.java	101	h+ins.top+ins.bottom);	h-ins.top+ins.bottom);
23	OpenList.java	101	h+ins.top+ins.bottom);	h+ins.top-ins.bottom);
24	OpenList.java	110	int h = d1.height + d2.height + d3.height;	int h = d1.height - d2.height + d3.height;
25	OpenList.java	110	int h = d1.height + d2.height + d3.height;	int h = d1.height + d2.height - d3.height;
26	OpenList.java	120	int w = d.width-ins.left-ins.right;	int w = d.width+ins.left-ins.right;
27	OpenList.java	120	int w = d.width-ins.left-ins.right;	int w = d.width-ins.left+ins.right;
28	OpenList.java	121	int h = d.height-ins.top-ins.bottom;	int h = d.height+ins.top-ins.bottom;
29	OpenList.java	121	int h = d.height-ins.top-ins.bottom;	int h = d.height-ins.top+ins.bottom;
30	OpenList.java	125	y += d1.height;	y = d1.height;
31	OpenList.java	128	y += d2.height;	y = d2.height;
32	OpenList.java	129	m_scroll.setBounds(x, y, w, h-y);	m_scroll.setBounds(x, y, w, h+y);
33	OpenList.java	36	m_list.setVisibleRowCount(4);	m_list.setVisibleRowCount(10);
34	ReplaceDialog.java	49	if(!contentArea.find(findText.getText(), matchCaseBox.isSelected(), true))	if(contentArea.find(findText.getText(), matchCaseBox.isSelected(), true))
35	ReplaceDialog.java	56	if(!contentArea.replace(findText.getText(), replaceText.getText(), matchCaseBox.isSelected()))	if(contentArea.replace(findText.getText(), replaceText.getText(), matchCaseBox.isSelected()))
36	ChangeFontDialog.java	121	if (m_chkBold.isSelected())	if (!m_chkBold.isSelected())
37	ChangeFontDialog.java	123	if (m_chkItalic.isSelected())	if (!m_chkItalic.isSelected())
38	ChangeFontDialog.java	135	if (m_chkBold.isSelected())	if (!m_chkBold.isSelected())
39	ChangeFontDialog.java	137	if (m_chkItalic.isSelected())	if (!m_chkItalic.isSelected())
40	FindDialog.java	56	if(!contentArea.find(findText.getText(), matchCaseBox.isSelected(), downButton.isSelected()))	if(contentArea.find(findText.getText(), matchCaseBox.isSelected(), downButton.isSelected()))
41	TwoContentArea.java	38	if(initialFile == null)	if(initialFile != null)
42	TwoContentArea.java	52	if(event.isPopupTrigger()) { popupMenu.show(event.getComponent(), event.getX(), event.getY()); }	if(!event.isPopupTrigger()) { popupMenu.show(event.getComponent(), event.getX(), event.getY()); }
43	TwoContentArea.java	81	if(openFile == null)	if(openFile != null)
44	TwoContentArea.java	89	if(file != null)	if(file == null)
45	TwoContentArea.java	92	file	!file
46	TwoContentArea.java	104	if(file != null)	if(file == null)
47	TwoContentArea.java	108	TRUE	FALSE
48	TwoContentArea.java	128	if(JFileChooser.APPROVE_OPTION != openDialog.showOpenDialog(parentWindow))	if(JFileChooser.APPROVE_OPTION == openDialog.showOpenDialog(parentWindow))
49	TwoContentArea.java	135	txt	two
50	TwoContentArea.java	135	toLower	toUpper
51	TwoContentArea.java	124	*.two	*.txt
52	TwoContentArea.java	124	FALSE	TRUE
53	TwoContentArea.java	122	TRUE	FALSE
54	TwoContentArea.java	137	openDialog	!openDialog
55	TwoContentArea.java	139	openDialog	!openDialog
56	TwoContentArea.java	141	openDialog	!openDialog
57	TwoContentArea.java	147	if(openFile.getName().toLowerCase().endsWith(\".two\"))	if(!openFile.getName().toLowerCase().endsWith(\".two\"))
58	TwoContentArea.java	155	else if(openFile.getName().toLowerCase().endsWith(\".txt\"))	else if(!openFile.getName().toLowerCase().endsWith(\".txt\"))
59	TwoContentArea.java	162	else if(openFile.getName().toLowerCase().endsWith(\".rtf\"))	else if(!openFile.getName().toLowerCase().endsWith(\".rtf\"))
60	TwoContentArea.java	220	if(selectedFile == null)	if(selectedFile != null)
61	TwoContentArea.java	342	currentPrintJobPages = (int)java.lang.Math.ceil((double)(getOffset(Y_AXIS, getViewCount() - 1) + 1 + getSpan(Y_AXIS, getViewCount() - 1)) \/ height);/currentPrintJobPages = (int)java.lang.Math.ceil((double)(getOffset(Y_AXIS, getViewCount() - 10) + 1 + getSpan(Y_AXIS, getViewCount() - 1)) \	height);
62	TwoContentArea.java	347	if(currentPrintJob == null)	if(currentPrintJob != null)
63	TwoContentArea.java	349	if(pageIndex >= currentPrintJobPages)	if(pageIndex <= currentPrintJobPages)
64	TwoContentArea.java	362	if(isDirty())	if(!isDirty())
65	TwoContentArea.java	398	setSize((int)width, 10);	setSize((int)width, 100);
66	TwoContentArea.java	400	imageHeight = getOffset(Y_AXIS, getViewCount() - 1) + 1 + getSpan(Y_AXIS, getViewCount() - 1);	imageHeight = getOffset(Y_AXIS, getViewCount() - 1) + 1 + getSpan(Y_AXIS, getViewCount() + 1);
67	TwoContentArea.java	400	imageHeight = getOffset(Y_AXIS, getViewCount() - 1) + 1 + getSpan(Y_AXIS, getViewCount() - 1);	imageHeight = getOffset(Y_AXIS, getViewCount() + 1) + 1 + getSpan(Y_AXIS, getViewCount() - 1);
68	TwoContentArea.java	400	imageHeight = getOffset(Y_AXIS, getViewCount() - 1) + 1 + getSpan(Y_AXIS, getViewCount() - 1);	imageHeight = getOffset(Y_AXIS, getViewCount() - 1) - 1 + getSpan(Y_AXIS, getViewCount() - 1);
69	TwoContentArea.java	400	imageHeight = getOffset(Y_AXIS, getViewCount() - 1) + 1 + getSpan(Y_AXIS, getViewCount() - 1);	imageHeight = getOffset(Y_AXIS, getViewCount() - 1) + 1 - getSpan(Y_AXIS, getViewCount() - 1);
70	TwoContentArea.java	431	imageGraphics.setClip(0, 0, imageWidth, imageView.imageHeight);	imageGraphics.setClip(100, 0, imageWidth, imageView.imageHeight);
71	TwoContentArea.java	433	imageGraphics.fillRect(0, 0, imageWidth, imageView.imageHeight);	imageGraphics.fillRect(0, 100, imageWidth, imageView.imageHeight);
72	TwoContentArea.java	441	if(flavor.equals(DataFlavor.stringFlavor)) return getString();	if(!flavor.equals(DataFlavor.stringFlavor)) return getString();
73	TwoContentArea.java	456	if(copyText == null) return;	if(copyText != null) return;
74	TwoContentArea.java	463	copyCharacterAttributes[counter - getSelectionStart()] = currentDocument.getCharacterElement(counter).getAttributes().copyAttributes();	copyCharacterAttributes[counter + getSelectionStart()] = currentDocument.getCharacterElement(counter).getAttributes().copyAttributes();
75	TwoContentArea.java	464	counter = currentDocument.getCharacterElement(counter).getEndOffset() - 1;	counter = currentDocument.getCharacterElement(counter).getEndOffset() + 1;
76	TwoContentArea.java	467	int endIndex = currentDocument.getDefaultRootElement().getElementIndex(getSelectionEnd() - 1);	int endIndex = currentDocument.getDefaultRootElement().getElementIndex(getSelectionEnd() - 10);
77	TwoContentArea.java	467	int endIndex = currentDocument.getDefaultRootElement().getElementIndex(getSelectionEnd() - 1);	int endIndex = currentDocument.getDefaultRootElement().getElementIndex(getSelectionEnd() + 1);
78	TwoContentArea.java	487	if(pasteObject.copiedFrom() == TerpClipboardInterface.CALC || pasteObject.copiedFrom() == TerpClipboardInterface.INTEGRATOR)	if(pasteObject.copiedFrom() != TerpClipboardInterface.CALC || pasteObject.copiedFrom() == TerpClipboardInterface.INTEGRATOR)
79	TwoContentArea.java	487	if(pasteObject.copiedFrom() == TerpClipboardInterface.CALC || pasteObject.copiedFrom() == TerpClipboardInterface.INTEGRATOR)	if(pasteObject.copiedFrom() == TerpClipboardInterface.CALC || pasteObject.copiedFrom() != TerpClipboardInterface.INTEGRATOR)
80	TwoContentArea.java	487	|	&
81	TwoContentArea.java	511	int direction = 1;	int direction = 100;
82	TwoContentArea.java	512	if(!downDirection)	if(downDirection)
83	TwoContentArea.java	514	position = getSelectionStart() - findString.length();	position = getSelectionStart() + findString.length();
84	TwoContentArea.java	521	!matchCase	matchCase
85	TwoContentArea.java	521	&&	||
86	TwoContentArea.java	525	TRUE	FALSE
87	TwoContentArea.java	517	<	>
88	TwoContentArea.java	524	moveCaretPosition(counter + findString.length());	moveCaretPosition(counter - findString.length());
89	TwoMenus.java	38	if(contentArea.closeDocument(true))	if(!contentArea.closeDocument(true))
90	TwoMenus.java	48	if(contentArea.closeDocument(true))	if(!contentArea.closeDocument(true))
91	TwoMenus.java	84	if(!printJob.printDialog())	if(printJob.printDialog())
92	TwoMenus.java	171	if(!contentArea.find(contentArea.staticFindString, contentArea.staticMatchCase, contentArea.staticDownDirection))	if(contentArea.find(contentArea.staticFindString, contentArea.staticMatchCase, contentArea.staticDownDirection))
93	TwoMenus.java	237	if(contentArea.getSelectedText() == null) { isSelection = false; }	if(contentArea.getSelectedText() != null) { isSelection = false; }
94	TwoMenus.java	240	&&	||
95	TwoMenus.java	240	TRUE	FALSE
96	TwoMenus.java	473	if(contentArea.getSelectedText() == null) { isSelection = false; }	if(contentArea.getSelectedText() != null) { isSelection = false; }
97	TwoMenus.java	476	if(contentArea.systemClipboard.getContents(this) == null || !(contentArea.systemClipboard.getContents(this) instanceof TerpClipboardInterface)) contentArea.pastePopupItem.setEnabled(false);	if(contentArea.systemClipboard.getContents(this) != null || !(contentArea.systemClipboard.getContents(this) instanceof TerpClipboardInterface)) contentArea.pastePopupItem.setEnabled(false);
98	TwoMenus.java	482	TRUE	FALSE
99	TwoMenus.java	476	if(contentArea.systemClipboard.getContents(this) == null || !(contentArea.systemClipboard.getContents(this) instanceof TerpClipboardInterface)) contentArea.pastePopupItem.setEnabled(false);	if(contentArea.systemClipboard.getContents(this) == null || (contentArea.systemClipboard.getContents(this) instanceof TerpClipboardInterface)) contentArea.pastePopupItem.setEnabled(false);
100	TwoStyledDocument.java	14	currentLength = 1;	currentLength = 10;