add negative contracts on KilProperty
add comment explaining what this is used for
Removing pdmc from master
Updated buldjava.xml to remove Promela parser generation.
Merge pull request #293 from kframework/remove-pdmc

Removing pdmc from master
Merge pull request #285 from dwightguth/kilproperty

add negative contracts on KilProperty