Create checker-framework.rb