Posts in category config

Setting Alternative Site Properties

jpf-core change fixes and extends lookup, which now also works via site=.. property from application (*.jpf) or project properties ( This can esp. be used to set alternative jpf-core directories, while still using eclipse-jpf or netbeans-jpf.

That said, you shouldn't have lots of jpf-core variants around - if you really need to modify, use the repo or create an extension project.