examples also need to be compiled using java1.7 because they are
required by the sle tests