DEFAULT_
The port used when nothing says otherwise.
Only a fallback. The Gradle plugin writes the configured port into an integer resource named porthole_port, and install reads that first, so changing the port means changing it in one place — the porthole { } block — rather than here and in the adb forward.