fix for compatibility with java 7.0 (added explicitly the final declarations)