msn を使用して Android アプリケーションを開発しようとしていますが、jml ライブラリを使用する際にも同じ問題があり、多くの調査を行いました。ここから jml をインストールしようとしました http://sourceforge.net/projects/java-jml/files/java-jml/jml-1.0b4/ このライブラリを使用するにはどうすればよいですか。たとえば、eclipse のライブラリのようにインポートできますか? コードを変更しますか？私はこのライブラリを解凍し、Javaファイルのようなファイルを別のプロジェクトにインポートする必要がありますか?
手を差し伸べてくれる？