a parte che vedendo in giro, jedit è praticamente un normale editor di testo scritto in java, quindi non so quanto ti possa aiutare per la programmazione. Comunque il gestore pacchetti da qualche parte deve essere (forse si chiama aggiungi rimuovi o qualcosa del genere), purtroppo non ho mai usato l'eeepc, quindi non ti saprei aiutare nello specifico. Non sò controlla meglio, c'è per forza, l'importante è trovarlo

PS: con il gestore di pacchetit non hai assolutamente bisogno di scaricare a mano i programmi, fa tutto lui, trova il gestore e hai risolto