fixed AlloyDocsTransformer.java formatting