simple find/replace fix to allow WALA to compile with older versions of Java