bugfix: did not work on java 7 any more