fix copyOnShareSubstAndEval to call isNormal
Keep location information of KItem in Java backend
Merge pull request #1252 from kframework/location-info-kitem

Keep location information of KItem in Java backend
Add --coverage-file option
add copyright
Merge pull request #1251 from dwightguth/fixcopyonshare

fix copyOnShareSubstAndEval to call isNormal
add javadoc
fix redundant
try to fix race condition in Sort.equals
Merge pull request #1260 from dwightguth/race

try to fix race condition in Sort.equals
add distributionManagement section to pom
Merge pull request #1261 from dwightguth/deploy

add distributionManagement section to pom
Merge pull request #1253 from kframework/coverage

Add --coverage-file option
draft of work on disjunctions
fix copyright
Merge pull request #1262 from dwightguth/disjunction

draft of work on disjunctions
remove all references to maude backend and make java the default
fixes for java backend productions that represent klabel constants
fix agent to work in java backend
fix regression tests to work in java backend