if ( !fault.getValue().id().equals( "undefined" ) ) {
if ( !types.contains( fault.getValue().id() ) ) {
jolieDocWriter.addType( fault.getValue() );
types.add( fault.getValue().id() );
}
<BUG>if ( fault.getValue().hasSubTypes() ) {</BUG>
addSubTypes( fault.getValue() );
<BUG>}</BUG>
}
}

if ( !fault.getValue().id().equals( "undefined" ) ) {
if ( !types.contains( fault.getValue().id() ) ) {
jolieDocWriter.addType( fault.getValue() );
types.add( fault.getValue().id() );
}
addSubTypes( fault.getValue() );
}
}
