title: Replacing android.jar provided with Terminal-IDE for newer SDK levels?
body: <p>Background:  I have been using the Terminal-IDE program to learn about doing Android development (I like vim, for starters...).</p>
  
  <p><a href="https://play.google.com/store/apps/details?id=com.spartacusrex.spartacuside" rel="nofollow">https://play.google.com/store/apps/details?id=com.spartacusrex.spartacuside</a></p>
  
  <p>As shipped, it supports SDK level 9.  I want to support level 14 (Android 4.0+), so that I can use GridLayout instead of the more complex TableLayout.</p>
  
  <p>I emailed the author, who responded in less than a day (kudos!), but, when I look for a replacement android.jar under /system on my tablet (Nexus 7 model 2), that particular jar does not exist, only many other jars with longer names that are just wrappers around dex files.</p>
  
  <p>Anybody ran into this problem and solved it?</p>