Reordered builders: Scala builder goes first, then manifest/schema builders follow.
Reordered builders: Scala builder goes first, then manifest/schema builders follow.

andriusvelykis/isabelle-eclipse,andriusvelykis/isabelle-eclipse,andriusvelykis/isabelle-eclipse