01-java5-compatibility.patch
