on the way for full responsiveness (still getting some bugs on mobile/tablets) + new feature: specifying corelib=javase|android|all|... loads directly the lib