int () { MyCustomPortServerManager portServerManager = CustomPortServerManager.EP_NAME.findExtensionOrFail(MyCustomPortServerManager.class); if (!portServerManager.isBound()) { return BuiltInServerManager.getInstance().getPort(); } return builtInServerPort; }