<commit_before>application.title=Isabelle-jEdit
application.vendor=makarius
application.args=-noserver -nobackground
build.classes.dir=${build.dir}/classes
build.classes.excludes=**/*.java,**/*.form,**/*.scala
# This directory is removed when the project is cleaned:
build.dir=build
build.generated.dir=${build.dir}/generated
# Only compile against the classpath explicitly listed here:
build.sysclasspath=ignore
build.test.classes.dir=${build.dir}/test/classes
build.test.results.dir=${build.dir}/test/results
debug.classpath=\
    ${run.classpath}
debug.test.classpath=\
    ${run.test.classpath}
# This directory is removed when the project is cleaned:
dist.dir=dist
# dist can be used as jEdits settings-directory;
# jEdit searches for plugins in the 'jars' subdirectory
# must include something like this to private.properties:
# application.args=-noserver -nobackground -settings=/absolute/path/to/project/dist
# 
dist.jar=${dist.dir}/jars/Isabelle-jEdit.jar
dist.javadoc.dir=${dist.dir}/javadoc
excludes=
file.reference.isabelle-jedit-src=src
file.reference.jedit.jar=/home/makarius/lib/jedit/current/jedit.jar
includes=**
jar.compress=false
java.platform.active=java_default_platform
javac.classpath=\
    ${reference.jEdit.build}:\
    ${libs.Isabelle-Pure.classpath}:\
    ${libs.Cobra-Renderer.classpath}:\
    ${libs.Rhino-JavaScript.classpath}:\
    ${libs.ErrorList.classpath}:\
    ${libs.Hyperlinks.classpath}:\
    ${libs.SideKick.classpath}:\
    ${libs.Console.classpath}:\
    ${libs.Scala-compiler.classpath}
# Space-separated list of extra javac options
javac.compilerargs=
javac.deprecation=false
javac.source=1.5
javac.target=1.5
javac.test.classpath=\
    ${javac.classpath}:\
    ${build.classes.dir}:\
    ${libs.junit.classpath}:\
    ${libs.junit_4.classpath}
javadoc.additionalparam=
javadoc.author=false
javadoc.encoding=${source.encoding}
javadoc.noindex=false
javadoc.nonavbar=false
javadoc.notree=false
javadoc.private=false
javadoc.splitindex=true
javadoc.use=true
javadoc.version=false
javadoc.windowtitle=
main.class=org.gjt.sp.jedit.jEdit
manifest.file=manifest.mf
meta.inf.dir=${src.dir}/META-INF
platform.active=default_platform
project.jEdit=contrib/jEdit
reference.jEdit.build=${project.jEdit}/build/jEdit.jar
run.classpath=\
    ${javac.classpath}:\
    ${build.classes.dir}
run.jvmargs=-Xms128m -Xmx512m
run.test.classpath=\
    ${javac.test.classpath}:\
    ${build.test.classes.dir}
source.encoding=UTF-8
src.dir=${file.reference.isabelle-jedit-src}
scalac.compilerargs=
scalac.deprecation=no
scalac.unchecked=no
<commit_msg>more compiler warnings;<commit_after>application.title=Isabelle-jEdit
application.vendor=makarius
application.args=-noserver -nobackground
build.classes.dir=${build.dir}/classes
build.classes.excludes=**/*.java,**/*.form,**/*.scala
# This directory is removed when the project is cleaned:
build.dir=build
build.generated.dir=${build.dir}/generated
# Only compile against the classpath explicitly listed here:
build.sysclasspath=ignore
build.test.classes.dir=${build.dir}/test/classes
build.test.results.dir=${build.dir}/test/results
debug.classpath=\
    ${run.classpath}
debug.test.classpath=\
    ${run.test.classpath}
# This directory is removed when the project is cleaned:
dist.dir=dist
# dist can be used as jEdits settings-directory;
# jEdit searches for plugins in the 'jars' subdirectory
# must include something like this to private.properties:
# application.args=-noserver -nobackground -settings=/absolute/path/to/project/dist
# 
dist.jar=${dist.dir}/jars/Isabelle-jEdit.jar
dist.javadoc.dir=${dist.dir}/javadoc
excludes=
file.reference.isabelle-jedit-src=src
file.reference.jedit.jar=/home/makarius/lib/jedit/current/jedit.jar
includes=**
jar.compress=false
java.platform.active=java_default_platform
javac.classpath=\
    ${reference.jEdit.build}:\
    ${libs.Isabelle-Pure.classpath}:\
    ${libs.Cobra-Renderer.classpath}:\
    ${libs.Rhino-JavaScript.classpath}:\
    ${libs.ErrorList.classpath}:\
    ${libs.Hyperlinks.classpath}:\
    ${libs.SideKick.classpath}:\
    ${libs.Console.classpath}:\
    ${libs.Scala-compiler.classpath}
# Space-separated list of extra javac options
javac.compilerargs=
javac.deprecation=false
javac.source=1.5
javac.target=1.5
javac.test.classpath=\
    ${javac.classpath}:\
    ${build.classes.dir}:\
    ${libs.junit.classpath}:\
    ${libs.junit_4.classpath}
javadoc.additionalparam=
javadoc.author=false
javadoc.encoding=${source.encoding}
javadoc.noindex=false
javadoc.nonavbar=false
javadoc.notree=false
javadoc.private=false
javadoc.splitindex=true
javadoc.use=true
javadoc.version=false
javadoc.windowtitle=
main.class=org.gjt.sp.jedit.jEdit
manifest.file=manifest.mf
meta.inf.dir=${src.dir}/META-INF
platform.active=default_platform
project.jEdit=contrib/jEdit
reference.jEdit.build=${project.jEdit}/build/jEdit.jar
run.classpath=\
    ${javac.classpath}:\
    ${build.classes.dir}
run.jvmargs=-Xms128m -Xmx512m
run.test.classpath=\
    ${javac.test.classpath}:\
    ${build.test.classes.dir}
source.encoding=UTF-8
src.dir=${file.reference.isabelle-jedit-src}
scalac.compilerargs=
scalac.deprecation=yes
scalac.unchecked=yes

{'fraction_non_alphanumeric': 0.14842840512223515, 'fraction_numerical': 0.004656577415599534, 'mean_word_length': 5.233373639661427, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2225570', 'n_tokens_mistral': 1852, 'n_tokens_neox': 1756, 'n_words': 262}