update osgi_*_instruction.txt to use wsservlet

Change-Id: Ia655df22dcf6f657829b04eb0e21749581c8117c