back out latest Redinexer.jar
Merge branch 'june' into darkknight2