Not the first time - I sometimes fix the problems, but usually just build releases by switching to jdk7.