Version 2.1.13, 3 July 2017
Verified that the Checker Framework builds from source on Windows Subsystem for Linux, on Windows 10 Creators Edition.
The manual explains how to configure Android projects that use Android Studio 3.0 and Android Gradle Plugin 3.0.0, which support type annotations.
Closed issues:
146, 1264, 1275, 1290, 1303, 1308, 1310, 1312, 1313, 1315, 1323, 1324, 1331, 1332, 1333, 1334, 1347, 1357, 1372.