target/classes/
classes/
Thumbs.db
.DS_Store
*.class
*.xtendbin
/demo
/research
/samples
bin/
!/rba.tool.editor.endpoint/lib/linux/z3/bin/
target/
plugins/
features/
artifacts.jar
content.jar
.svn
output/

RBAArbitratorForCplus/arbitrator/*/*test/
RBAArbitratorForCplus/arbitrator/rba/build*/
RBAArbitratorForCplus/arbitrator/rba/simulator/
RBAArbitratorForCplus/arbitrator/rba_model/