Java platforma, mikro izdanje