A lightweight Java Development Kit