typetools / checker-framework

Pluggable type-checking for Java
http://checkerframework.org/
Other
988 stars 347 forks source link

Specify character set #6528

Closed mernst closed 1 month ago