Recompiled the diff library with java 6. This fixes issue slisson/mps-richtext#30