performance enhancement, in particular for java7