class_name.diff
javarebel.diff
jdom1.diff
javacc.diff
jsp_api.diff
def-jdk-doc.patch
disable-jython-extension.patch
dtd_location.diff
