"Bug ID","Product","Component","Assignee","Status","Resolution","Summary","Changed" 539,"Build system","all","adavid","NEW"," ---","Problem installing UPPAAL","2012-06-19 08:39:54"