Fixing types
Adding BootstrapMethods attribute
Accept Java 8 class files

(We don't actually run them correctly yet)