Some examples to learn how to use JBSE