Developers guide

This subsection is only relevant for software developers, wishing to include JBEE in their products. Anyone else should read the user's guide instead.