tree 0342fb00b420092b292fd4e52846904a3292ea43
parent 01790a2292865b4d8441d6958d86cd9ca3c04de3
author Dave Borowitz <dborowitz@google.com> 1395420597 -0700
committer Dave Borowitz <dborowitz@google.com> 1395441509 -0700

Build dev server as a java_binary

Update documentation and run_dev script to reflect reality.

Change-Id: If2468d9084d373b47c385eba3420d0ee55664750