indexing: copyright info for one more file
indexing: marking deprecated code
indexing: using lowercase for copyright
indexing: marking more classes as deprecated
Changed definition for test. Renamed symbolic-kompile dir to test1.
Use the MaudeBackend instead of SymbolicBackend.
indexing: more copyright changes
indexing: annotating deprecated classes in addition to
deprecated constants
fixed copyright
Merge pull request #382 from owolabileg/master

Freezing the code for path indexing
Use regex to match program output
Merge pull request #349 from andreistefanescu/master

fixed hashCode for SymbolicConstraint; refactored hashCode caching
Forgot reference to unexistent package.
fix bug with recomputeSort not being called when constructing rewrites
fix binary parser for krun
fix copyright
fix copyright casing
Merge branch 'master' into visitor

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/kil/JavaSymbolicObject.java
	src/javasources/KTool/src/org/kframework/kil/TermCons.java
	src/javasources/KTool/src/org/kframework/kil/visitors/BasicTransformer.java
	src/javasources/KTool/src/org/kframework/kil/visitors/CopyOnWriteTransformer.java
fix copyright casing
fix copyright on one more file