jactiverecord-el 1.1; java 7