These are the features/bug reports from jEdit 4.3 used in our study. To see the actual bug report, go to http://sourceforge.net/search/?type_of_search=artifact&group_id=588 and enter the issue ID in the "Tracker Item ID" field and click search. 950961 981012 1193683 1292706 1382388 1500938 1520769 1520774 1533473 1536064 1538051 1538702 1538743 1541009 1541372 1542026 1546200 1548902 1549282 1560006 1560584 1565447 1569735 1570554 1571629 1571752 1574587 1575505 1576535 1578785 1584436 1589360 1593359 1593375 1593389 1593464 1593523 1593526 1593543 1593576 1593735 1594234 1594910 1599024 1599709 1600401 1601718 1608486 1608948 1611766 1617509 1620694 1628053 1630805 1638642 1641997 1642574 1645528 1646058 1649033 1654543 1658252 1659666 1663617 1664900 1668893 1671312 1676041 1687264 1694133 1708876 1708881 1723506 1724940 1730845 1739675 1744674 1747300 1748509 1749475 1768638 1781853 1788847 1789707 1818140 1825720 1834620 1854542 1866836 1869978 1883809 1887293 1894235 1906288 1910061 1912735 1913979 1923613 1931333 1936518 1938174 1942313 1947676 1961989 1965114 1984000 1984974 1999448 2015210 2017514 2060078 2068307 2069249 2077326 2089713 2091052 2122926 2129419 2169354 2173091 2173112 2183929 2199003 2218621 2220025 2220033 2446121 2555956 2569381 2596087 2646484 2668434 2688862 2696564 2744708 2759434 2762745 2777073 2781716 2814857 2823909 2824045 2842444 2844750 2846169 2882702 2887515 2887516 2896464 2911122