jgit/org.eclipse.jgit.pgm
Han-Wen Nienhuys f3ec7cf3f0 Remove further unnecessary 'final' keywords
Remove it from

 * package private functions.

 * try blocks

 * for loops

this was done with the following python script:

$ cat f.py
import sys
import re
import os

def replaceFinal(m):
  return m.group(1) + "(" +  m.group(2).replace('final ', '') + ")"

methodDecl = re.compile(r"^([\t ]*[a-zA-Z_ ]+)\(([^)]*)\)")

def subst(fn):
  input = open(fn)
  os.rename(fn, fn + "~")

  dest = open(fn, 'w')
  for l in input:
    l = methodDecl.sub(replaceFinal, l)
    dest.write(l)
  dest.close()


for root, dirs, files in os.walk(".", topdown=False):
  for f in files:
    if not f.endswith('.java'):
      continue

    full = os.path.join(root, f)
    print full
    subst(full)

Change-Id: If533a75a417594fc893e7c669d2c1f0f6caeb7ca
Signed-off-by: Han-Wen Nienhuys <hanwen@google.com>
2018-05-18 17:59:45 +02:00
..
.settings Fix API problem filter warnings 2018-03-25 00:56:51 +01:00
META-INF Prepare 5.0.0-SNAPSHOT builds 2018-03-08 23:09:18 +01:00
resources Implement --force option in FetchCommand and CLI fetch command 2018-03-13 02:20:29 +01:00
src/org/eclipse/jgit Remove further unnecessary 'final' keywords 2018-05-18 17:59:45 +02:00
.classpath Change JGit minimum execution environment to JavaSE-1.8 2016-09-20 11:32:36 +02:00
.gitignore Finish removing Apache Felix maven-bundle-plugin 2010-01-12 11:46:55 -08:00
.project Enforce the use of Java5 API:s only (with a few exceptions) 2011-12-16 01:01:36 +01:00
BUILD Bazel: Add a target to build jgit commandline tool 2018-05-02 14:43:26 -07:00
about.html Add missing about.html files to all shipped bundles 2011-06-08 21:51:51 +02:00
build.properties Add missing resources from source.. in build.properties 2013-10-30 17:42:38 +01:00
jgit.sh Make jgit.sh work on windows when JGIT_CLASSPATH is set 2014-12-01 14:54:17 +01:00
plugin.properties Fix plugin provider names to conform with release train requirement 2013-04-08 23:05:36 +02:00
pom.xml Prepare 5.0.0-SNAPSHOT builds 2018-03-08 23:09:18 +01:00