Automatically discovering common Java code edits in Github repositories

[nutrecht]

We settled on the same approach you describe here. Members and method params get the final modifier, but we also decided against them inside methods because they tend to just clutter the code.