--property=sablevm.spmt.allocate.objects=true
--property=sablevm.spmt.buffer.enabled=true
--property=sablevm.spmt.prediction.parameter.dependence=true 
--property=sablevm.spmt.prediction.return.value.use=true 
--property=sablevm.spmt.transitive.method.size=true
--property=sablevm.spmt.cold.start.threshold=1000000000
--property=sablevm.spmt.marked.stack.limit=1000000000
--property=sablevm.spmt.minimum.sequence.length=1
--property=sablevm.spmt.config.file="libspmt.cfg"
--property=sablevm.verbose.instructions=false 
--property=sablevm.verbose.spmt=false 
--property=sablevm.verbose.prediction=false 
--property=sablevm.verbose.methods=false 
--property=sablevm.verbose.exceptions=false 
--property=sablevm.verbose.synchronization=false