Added by Jose Manuel Vivó Arnal about 17 years ago
Fix a bug than throws a NullPointerException
View differences