Mike: added JDK dev libs