Formatted all the plug-ins according to the checker framework's Java code style.