#Fri Apr 10 19:25:41 CEST 2009
#default.load=false
aibench.pluginmanager.active=false
aibench.workbench.active=true
aibench.shell.active=false
aibench.core.active=true
aibench.serialization.active=false
