patches for java