10_build.patch
20_httpclient-CloneNotSupportedException.patch
30_jdic-windowClose.patch
40_user-preferences-Constant.java.patch
