git grep, ignore jdeveloper files