public ISVNHostOptionsProvider getHostOptionsProvider() { if (myHostOptionsProvider == null) { myHostOptionsProvider = new ExtendedHostOptionsProvider(); } return myHostOptionsProvider; }
public ISVNHostOptionsProvider getHostOptionsProvider() { if (myHostOptionsProvider == null) { myHostOptionsProvider = new ExtendedHostOptionsProvider(); } return myHostOptionsProvider; }