work on jeva user substitution
Merge branch 'master' into unified-builtins2

Conflicts:
	tests/config.xml
add floats to java rewrite engine
fix copyright
fix java logik to use regex
Merge branch 'unified-builtins2' into floats

Conflicts:
	samples/java_rewrite_engine/tutorial/2_languages/4_logik/tests/append-4.logik.out
	samples/java_rewrite_engine/tutorial/2_languages/4_logik/tests/reverse-fast-palindromes-1.logik.out
	samples/java_rewrite_engine/tutorial/2_languages/4_logik/tests/reverse-slow-palindromes-1.logik.out
	tests/regression/config.xml
fix logik regex tests
fix code review comments
Implementing the Maude part of fresh generation.
Adding test back to regression testing.
Merge branch 'unified-builtins2' into java-substitution
Java builtin substitution (user-level)
Removed redundant variable.
Using include instead of another test specification.
added to config.xml
Merge pull request #510 from kframework/unified-builtins-fresh

Unified builtins fresh - Maude version
update jar
update mpfr-java to include bugfixes
Merge branch 'unified-builtins2' into floats

Conflicts:
	samples/java_rewrite_engine/tutorial/2_languages/4_logik/tests/append-4.logik.out
	samples/java_rewrite_engine/tutorial/2_languages/4_logik/tests/reverse-fast-palindromes-1.logik.out
	samples/java_rewrite_engine/tutorial/2_languages/4_logik/tests/reverse-slow-palindromes-1.logik.out
	src/javasources/KTool/src/org/kframework/backend/java/builtins/BuiltinStringOperations.java
throw an error exception when the Java backend compiler get confused on compiling data structure