TODO: further parameterize concreteJavaToConcretePlatform() to have an
input platform.

The idea is to implement the interface ParseGOOL in a parser and then
use the same process as before, by abstracting the parser.