Removed unused local.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95801 8089f293-4706-0410-a29e-feb5c42a2edf
Use creation instruction instead of expression to initialize `service_options'
Removed unused locals.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95802 8089f293-4706-0410-a29e-feb5c42a2edf