javacommons/javaenv/build/eabi/javaenvinfou.def
changeset 57 59b3b4473dc8
parent 26 dc7c549001d5