Adapted SymbolMiner to Pilar v3.
Regenerated.
Adapted SymbolResolver to v3.
Refactored SymbolMiner and SymbolResolver to avoid using the "default"
package.
Port test cases to Pilar v3.
Adapted fresh counter so it starts at 0 and the state stores "next"
fresh.
Adapted to new Eclipse DSL Kepler SR2 base.
Adapted to new Eclipse DSL Kepler SR2 base.
Fixed missing texlipse unzipping inadvertently removed in a previous
commit.
Added assumption breach in State. enhanced evaluator to keep track of
assumption breach. A bug fix for multi-thread state.
Added packaging script for Eclipse DTP, EMF, and WTP.
Merge remote-tracking branch 'upstream/master'