felix 4.2.0 exports osgi 1.7.0