patch against openjade-1.3.2