# just a dummy for the config unit test

jpf.root=/Users/pcmehlitz/projects/jpf-v5

jpf.core = ${jpf.root}/jpf-core

#---------- installed extensions

ext.numeric=${jpf.root}/jpf-numeric
extensions=,${ext.numeric}

ext.swing=${jpf.root}/jpf-swing
extensions+=,${ext.swing}