Fix faulty svnkit plug-in categorization