Vector instead of List
Merge branch 'master' of https://github.com/adressel/prog_synth_sql

Conflicts:
	src/ConditionVariable.scala