01_extensions.patch
02_javadoc_encoding.patch
03_no_internet.patch
