Platform depends just on `SymbolTable`. JavaPlatform depends on `Global` to implement its functionality. Ideally, JavaPlatform would not depend on Global but I decided to leave this for another refactoring round.