public void run() {
   // Starting a server should never be done in a @Provides method
   // (or inside Provider's get).
   myPetStoreServer.start();
 }
 @Provides
 @PortNumber
 int getPortNumber(MyPetStoreServer server) {
   return server.getPortNumber();
 }