included imp & imp++ into configjavarw.xml; fixed imp++
Merge remote-tracking branch 'origin/master' into unified-builtins2
Added DependsOn and Provides annotations
Added Javadoc for ResolveBlockingINput.
Merge pull request #253 from kframework/traiansf-review2

Traiansf review2
added url link to the author
Merge remote-tracking branch 'origin/master' into unified-builtins2

Conflicts:
	tests/regression/java-rewrite-engine/smt_model/program.test.out
Fixed @KilProperty annotations and isPredicateLabel
Merge remote-tracking branch 'origin/master' into unified-builtins2
added url link to the author
new visitor, based on new KORE
Merge branch 'master' of github.com:grosu/k
updated the visitor and quote/unquote in agents
fixed typos in k-visitor.k
fixed typos in k-visitor.k
minor text fixes requested by reviewer
spell-checked and added more comments, as requested by code reviewers
Merge pull request #331 from grosu/master

changed the K visitor to use KORE.
Updated agent examples to be run by ktest.

Had to remove output for p22 and p23 as they were non-deterministic.
Changed nondeterministic tests to use search.