removed obsolete type arguments (java7)