Constant DEFAULT_JSON_RPC_PORT 

pub const DEFAULT_JSON_RPC_PORT: u16 = 8080;